A = {a, b, c} kümesi üzerinde tanımlı β = {(a,a), (b,b), (a,c), (c,a)} bağıntısı için aşağıdakilerden hangisi veya hangileri doğrudur?
I. Yansıyandır
II. Simetriktir
III. Geçişkendir

Bağıntının yansıyan olması için A'daki her elemanın kendisiyle eşleşmesi gerekir, ancak (c,c) elemanı bağıntıda yoktur. Simetrik olması için (x,y) varken (y,x) de olmalıdır; (a,c) için (c,a) vardır, bu şart sağlanır. Geçişken olması için (x,y) ve (y,z) varken (x,z) de olmalıdır; (c,a) ve (a,c) varken (c,c) elemanı olmadığı için geçişken değildir. Bu nedenle sadece simetriktir.