自然数的抽象数据类型定义 ADT NaturalNumber is objects:个整数的有序子集合它开始于0, 结束于机器能表示的最大整数(Max/mnr) Function:对于所有的x,y∈ NaturalNumber; False,Trwe∈ Boolean,+、-< 是可用的服务。 Zero: 返回自然数0 NaturalNumber自然数的抽象数据类型定义 ADT NaturalNumberis objects: 一个整数的有序子集合,它开始于0, 结束于机器能表示的最大整数(MaxInt)。 Function: 对于所有的 x, y  NaturalNumber; False, True  Boolean, +、-、<、 == 、 =等都 是可用的服务。 Zero( ) : 返回自然数0 NaturalNumber