Denklik bağıntısı

Bağıntıda Yansıma - Simetrik - Geçişme Özelliği varsa bu bağıntı Denklik Bağıntısıdır.

Denklik Bağıntısı

Bir kümede tanımlı yansıyan, simetrik ve geçişken bağıntı.

Örneğin tamsayılar kümesinde tanımlanmış §={(x,y):4|y-x} bağıntısı bir denklik bağıntısıdır. "İkinci bileşenle birincinin farkı 4'e tam bölünebilir" anlamına gelen bu bağıntı yukarıdaki özellikleri sağlar (her x tamsayısı için x-x=0'dır ve sıfır, 4'e bölünebilir; y-x 4'e bölünebilirse x-y de bölünebilir; son olarak y-x ve z-y 4'e bölünebilirse z-x'in de 4'e bölünebileceği açıktır).

Bağıntıda yansıma - simetrik - geçişme özelliği varsa bu bağıntı denklik bağıntısıdır.