Teori order

Teori order atau teori tatanan dan teori urutan adalah suatu cabang matematika yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan biner. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti "ini lebih kecil dari itu" atau "ini mendahului itu". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar. Daftar istilah teori-orde dapat ditemukan di glosarium teori tatanan.