Tolong jelaskan mengenai Definisi dasar dari Teori order

Bagian ini memperkenalkan sejumlah himpunan tertata yang dibangun di atas konsep-konsep teori himpunan, aritmetika, dan relasi biner.

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