theorem Th7: :: RELSET_3:7

succRel 3 = {[0,1],[1,2]}