theorem :: RELSET_3:76

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