Teori order

Tatanan merupakan relasi biner khusus. Misalkan "P" adalah suatu himpunan dan ≤ adalah relasi terhadap "P", maka ≤ merupakan "tatanan parsial" ("partial order") jika bersifat , , dan , yaitu untuk setiap "a", "b" dan "c" dalam "P", didapatkan: