Denklik Bağıntısı Nedir? Hakkında Bilgi

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).