Bir küme ve o küme üzerinde aşağıda tarif edilecek olan ikili bir ilişki içeren aksiyomatik sistemlere denir. Bilinen sıralama ilişkisinin soyutlanmasıyla elde edilirler. Kümemize X, ilişkimize R adını verecek olursak, aşağıdaki aksiyomların sağlandığını varsayarız.

• X kümesinin her a elemanı için R(a,a) ilişkisi sağlanmalıdır. ( şeklinde...