theorem Th21: :: LATTICE5:21

for A being non empty set holds ConsecutiveSet (A,0) = A