Data types of Z specification and classified into levels are introduced according to their derivations.

• 摘要介绍了Z规格说明的数据类型和它们的分类，从定义出发，阐述了这些数据类型派生的派生与继承关系。