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 http://upload.wikimedia.org/math/4/9/d/49dc1443f33cf63082d6e193dd2af78f.png ilişkisinin soyutlanmasıyla elde edilirler. Kümemize X, ilişkimize R adını verecek ...
