Teori order

Suatu himpunan dengan tatanan parsial di dalamnya dikatakan himpunan dengan tatanan parsial ("partially ordered set"), poset, atau hanya himpunan tertata ("ordered set") jika maknanya sudah jelas. Dengan memandang sifat-sifat ini, langsung dapat dilihat tatanan yang sudah dikenal dalam bilangan asli, bilangan bulat, bilangan rasional dan bilangan real yang semuanya adalah tatanan dalam makna di atas. Namun, ada juga sifat tambahan tatanan total ("total order"), yaitu untuk setiap "a" dan "b" dalam "P", didapatkan: