TANIM1: bir küme bir bağıntı olsun. Eğer , yansıyan, simetrik ve geçişken bir bağıntı ise ’ye bir denklik bağıntısı denir ve genelde biçiminde gösterilir.
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 
, yansıyan, simetrik ve geçişken bir bağıntı ise 
biçiminde gösterilir.
biçiminde gösterilir. 
, 
ikilisine kısmi sıralanmış