Uređen skup
Često u nekom skupu elemenata znamo za svaka dva njegova elementa reći koji po nekom pravilu dođe ispred kojeg. X<Y za takve elemente skupova vrijedi. X<Y ili Y<X (potpunost) Ako je X<Y onda nijeY<X (antisimetričnost) Ako je X<Y & Y<Z onda je X<Z (tranzitivnost) Za ovakav skup kažemo da je (strogo) uređen skup. Zbog osobine potpunosti kaže se da je potpuno linearno uređen skup.Onda vrijedi X<Y ili X=Y ili Y<X trihotonomija Za dva elementa skupa možemo reći da je X<Y (ako idemo u jednom) ili Y<X (ako idemo u drugom smjeru).Kažemo da je taj skup uređen u dva suprotna smjera.