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.
bir 
bir bağıntı olsun. Eğer 
, yansıyan, ters simetrik ve geçişken bir bağıntı ise 
biçiminde gösterilir. 
, 
ikilisine kısmi sıralanmış