Ordnungsrelationen sind zweistellige Relationen auf einer Menge M:
- Eine partielle Ordnung oder Teilordnung (englisch partial order) ist reflexiv, antisymmetrisch und transitiv
- eine strenge Halbordnung ist irreflexiv und transitiv
- eine Quasiordnung ist reflexiv und transitiv
- eine totale oder lineare Ordnung ist alternativ, reflexiv, antisymmetrisch und transitiv