(p artial ord er relation , p os et A) Tuntui mad näited mi tterang ed võrratus ed erinevatel arvuhulkadel K ontrollime refleks iivs us : iga a korral kehtib a< = a antis ü mmet ria : a< = b ja b< = a järeldub tõepooles t a= b trans itiivs us a< = b ja b< = c j äreldub a< = c D ef: relats ioon i, m is on an tiref lek s iivn e ja tran s itiivn e n im etatak s e ran geks järjes tu s ek s . Tuntui mad näited ranged võrratus ed erinevate l arvuhulkadel < K ontrollime antirefl eks iivs us : üks kõik mi llis e a korral ei kehti a< a trans itiivs us a< b j a b< c järeldub a< c J ärj es tus relats ioonid eks on ka mi tterang e s is alduvus j a range s is alduvus , s amut i leks ikograafil ine järj es tus . M itterange järj es tus e kuj uta mis eks kas utataks e ka Has s e d iagram m i , mis s aadaks e relats iooni graafis t järgmis t e lihts us tus tega: - G raafis t eema ldat aks e kõik s ilmus ed (refleks iivs us e tõttu tuleks s ilmus
(p artial ord er relation , p os et A) Tuntui mad näited mi tterang ed võrratus ed erinevatel arvuhulkadel K ontrollime refleks iivs us : iga a korral kehtib a< = a antis ü mmet ria : a< = b ja b< = a järeldub tõepooles t a= b trans itiivs us a< = b ja b< = c j äreldub a< = c D ef: relats ioon i, m is on an tiref lek s iivn e ja tran s itiivn e n im etatak s e ran geks järjes tu s ek s . Tuntui mad näited ranged võrratus ed erinevate l arvuhulkadel < K ontrollime antirefl eks iivs us : üks kõik mi llis e a korral ei kehti a< a trans itiivs us a< b j a b< c järeldub a< c J ärj es tus relats ioonid eks on ka mi tterang e s is alduvus j a range s is alduvus , s amut i leks ikograafil ine järj es tus . M itterange järj es tus e kuj uta mis eks kas utataks e ka Has s e d iagram m i , mis s aadaks e relats iooni graafis t järgmis t e lihts us tus tega: - G raafis t eema ldat aks e kõik s ilmus ed (refleks iivs us e tõttu tuleks s ilmus