Teori order

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