TANIM1: bir küme bir bağıntı olsun. Eğer , yansıyan, ters simetrik ve geçişken bir bağıntı ise ’ye bir “kısmi sıralama bağıntısı” denir ve genelde biçiminde gösterilir. , üzerinde bir kısmi sıralama bağıntısı ise ikilisine kısmi sıralanmış küme denir.
TANIM2: kısmi sıralı bir küme, olsun. Eğer önermesi doğru ise ve elemanlarına karşılaştırılabilir denir.
