` x GTY Rightarrowx + Z GT y + z, AAx, y, z, in Z` x +y = y +x ,` AA x, y, in Z`Either`x gt y or x = y or x lt y` , ` AA x, y, z in Z` `XGT y and y gt z Rightarrowx gt z , AAx,y,z, inZ`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy