Relacija uređenja (poretka)

Def.
Za relaciju R definisano na Dekartovom kvadratu kažemo da je relacija uređenja ili poretka ako je:
1. refleksna (∀x∈A)(x,y)∈R
2. antisimetrična; tj. nijedna tačka grafika nije simetrična u odnosu na dijagonalu Dekartovog kvadrata, izuzev tačaka dijagonale,tj. (∀x,y∈A)(x,y)∈R∧(y,x)∈R)=>x=y
3. tranzitivna(∀x,y,z)[(x,y)∈R∧(y,z)∈R]=>(x,z)∈R

Relacija "manje ili jednako" je relacija uređenja na skupu prirodnih brojeva.

Def. uređenog skupa;
Za skup A kažemo da je uređen skup ako na njemu možemo definisati bilo kakvu relaciju uređenja.