ADT NaturalNumber is { Objects: An ordered subset of integers, beginning at 0, ending at the maximum (MaxInt) Relation: C={| i=0, 1, , MaxInt} Function: For any x, y ? NaturalNumber; False,