teori order (teori tatanan (= teori keteraturan) 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.
latar belakang dan motivasi
tatanan dapat dijumpai di mana-mana dalam matematika atau bidang-bidang terkait seperti sains komputer.
tatanan pertama yang sering didiskusikan dalam sekolah dasar adalah tatanan baku pada bilangan asli misalnya "2 lebih kecil dari 3", "10 lebih besar dari 5", atau "apakah toto mempunyai lebih sedikit kue daripada siti?".
konsep intuitif ini dapat dikembangkan kepada tatanan-tatanan dalam himpunan bilangan yang lain, seperti bilangan bulat dan bilangan real.
konsep "lebih besar dari" atau "lebih kecil dari" suatu bilangan lain adalah salah satu intuisi dasar dalam sistem bilangan secara umum, meskipun orang juga tertarik untuk mengetahui perbedaan (yaitu pengurangan) dua bilangan, yang tidak diberikan oleh tatanan.
contoh umum lain adalah tatanan (atau urutan leksikografi) kata-kata dalam suatu kamus.
bagian ini memperkenalkan sejumlah himpunan tertata yang dibangun di atas konsep-konsep teori himpunan, aritmetika, dan relasi biner.
himpunan dengan tatanan parsial
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:
a  a (refleksivitas)
jika a  b dan b  a maka a = b (antisimetri)
jika a  b dan b  c maka a  c (transitivitas).
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:
a  b atau b  a (totalitas).
tatanan-tatanan ini dapat juga disebut tatanan linear (linear order) atau rantai (chain).
banyak tatanan klasik bersifat linear, tetapi tatanan subset pada himpunan memberi contoh kapan hal ini tidak benar.
contoh lain dapat diberikan dari relasi divisibilitas "n dan m, ditulis n
elemen khusus dalam suatu tatanan
dalam suatu himpunan dengan tatanan parsial ada sejumlah elemen yang berperan penting.
contoh paling dasar adalah "elemen terkecil" dalam suatu poset.
misalnya, 1 adalah elemen terkecil dari bilangan bulat positif dan himpunan kosong adalah himpunan terkecil di bawah tatanan subset.
secara formal, suatu elemen m merupakan elemen terkecil jika:
m  a, untuk semua elemen a dalam tatanan itu.
notasi 0 sering dijumpai pada elemen terkecil, meskipun tidak melibatkan bilangan apapun.
namun, dalam tatanan suatu himpunan bilangan, notasi ini tidak tepat dan bahkan menimbulkan kerancuan, karena bilangan 0 tidak selalu yang terkecil.
contohnya adalah pada tatanan divisibilitas
sebagaimana dijelaskan sebelumnya, tatanan sangat banyak ditemuai dalam matematika.
namun, penyebutan eksplisit paling awal mengenai tatanan parsial dapat dilacak setelah abad ke-19.
dalam konteks ini karya george boole dianggap sangat penting.
di samping itu charles sanders peirce, richard dedekind, dan ernst schrder juga membahas konsep teori order.
istilah "poset" sebagai singkatan dari "partially ordered set", yaitu "himpunan dengan tatanan parsial", digagas oleh garrett birkhoff dalam edisi kedua bukunya yang berpengaruh lattice theory.birkhoff 1948, p.1 earliest known uses of some of the words of mathematics