Denklik Bağıntısı Nedir?

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