theorem :: RELSET_3:75

modRel 2 = {[0,1],[1,0]}