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.
MsXLabs.org & Morpa Genel Kültür Ansiklopedisi
