theorem Th6: :: RELSET_3:6

succRel 2 = {[0,1]}