A = {0, 1, 2, 3} kümesi üzerinde tanımlı β bağıntısı, β = {(x, y) | x - y, 2 ile tam bölünür} şeklinde veriliyor. Buna göre, β bağıntısı için aşağıdakilerden hangisi yanlıştır?

Verilen koşul, x ve y'nin her ikisinin de tek veya her ikisinin de çift olması anlamına gelir. Bağıntı yansıma, simetri ve geçişme özelliklerini sağlar, bu yüzden bir denklik bağıntısıdır. Ancak ters simetri özelliği yoktur. Örneğin, (1, 3) elemanıdır çünkü 1-3=-2 çifttir ve (3, 1) de elemanıdır çünkü 3-1=2 çifttir. Ters simetri için (x,y) ve (y,x) eleman iken x=y olması gerekirdi, fakat burada 1 ≠ 3'tür.