Sıra teorisi
Sıra teorisi, ikili bağıntıları kullanma sırasının sezgisel kavramını inceleyen bir matematik dalıdır. "Bu, şundan daha küçüktür" veya "bu, şundan daha öncedir" gibi durumları inceler. Bir küme ve o küme üzerinde aşağıda tarif edilecek olan ikili bir bağıntıyı içeren aksiyomatik sistemlere denir.