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.
TANIM2: ,
üzerinde bir denklik bağıntısı,
olsun.
kümesine
’nın denklik sınıfı denir.
’nın denklik sınıfı bazı kaynaklarda
olarak da gösterilir.
,
olduğundan
’dir.