Bağıntıların özelliklerini üzerinde incelemek için aşağıdaki gibi bir \( A \) kümesi tanımlayalım.
\( A = \{ 1, 2, 3, 4 \} \)
\( s(A) = 4 \)
\( A \) kümesinin kendisiyle kartezyen çarpımı aşağıdaki gibi olacaktır.
\( A \times A = \{ (1, 1), (1, 2), (1, 3), (1, 4), \) \( (2, 1), (2, 2), (2, 3), (2, 4), \) \( (3, 1), (3, 2), (3, 3), (3, 4), \) \( (4, 1), (4, 2), (4, 3), (4, 4) \} \)
\( s(A \times A) = s(A) \cdot s(A) = 16 \)
Her \( a \in A \) elemanı için \( (a, a) \) sıralı ikilisi bir bağıntıda tanımlı ise bu bağıntının yansıma özeliği vardır, ya da bir diğer deyişle bağıntı yansıyan bir bağıntıdır.
Her \( a \in A \) için \( (a, a) \in \beta \) ise,
\( \beta \) bağıntısı yansıyandır.
Buna göre, \( A \)'nın her elemanı için \( (a, a) \) sıralı ikilisini içerdikleri için \( A \) üzerinde tanımlı aşağıdaki bağıntıların yansıma özelliği vardır.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3), (4, 4) \} \)
\( \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), (1, 2) \} \)
\( (4, 4) \) elemanını içermediği için \( A \) üzerinde tanımlı aşağıdaki bağıntının yansıma özelliği yoktur.
\( \beta_3 = \{ (1, 1), (2, 2), (3, 3), (2, 4) \} \)
\( n \) elemanlı bir \( A \) kümesi üzerinde tanımlanabilecek yansıma özelliğine sahip bağıntı sayısını aşağıdaki formülle hesaplayabiliriz.
Yansıma özelliğine sahip bağıntı sayısı \( = 2^{n^2 - n} \)
5 elemanlı bir küme üzerinde tanımlanabilecek yansıma özelliğine sahip bağıntı sayısı:
\( = 2^{5^2 - 5} = 2^{20} \)
Bir bağıntıdaki her \( (a, b) \) sıralı ikilisi için \( (b, a) \) sıralı ikilisi de bağıntıda tanımlı ise bu bağıntının simetri özelliği vardır, ya da bir diğer deyişle bağıntı simetrik bir bağıntıdır.
Her \( (a, b) \in \beta \) için \( (b, a) \in \beta \) ise,
\( \beta \) bağıntısı simetriktir.
Bir bağıntıda \( (a, a) \) cinsinden sıralı ikililerin bulunması simetri özelliğinin bulunmasını ya da bulunmamasını etkilemez.
Buna göre, \( A \) üzerinde tanımlı aşağıdaki bağıntıların simetri özelliği vardır.
\( \beta_1 = \{ (1, 2), (2, 1), (2, 4), (4, 2) \} \)
\( \beta_2 = \{ (1, 2), (2, 1), (2, 4), (4, 2), (4, 4) \} \)
\( (2, 1) \) elemanını içermediği için \( A \) üzerinde tanımlı aşağıdaki bağıntının simetri özelliği yoktur.
\( \beta_3 = \{ (1, 2), (2, 2) \} \)
\( n \) elemanlı bir \( A \) kümesi üzerinde tanımlanabilecek simetri özelliğine sahip bağıntı sayısını aşağıdaki formülle hesaplayabiliriz.
Simetri özelliğine sahip bağıntı sayısı \( = 2^{\frac{n(n + 1)}{2}} \)
5 elemanlı bir küme üzerinde tanımlanabilecek simetri özelliğine sahip bağıntı sayısı:
\( = 2^{\frac{5(5 + 1)}{2}} = 2^{15} \)
Bir bağıntıdaki her \( (a, b) \) sıralı ikilisi için \( (b, a) \) sıralı ikilisi bağıntıda tanımlı değilse, bu bağıntının ters simetri özelliği vardır, ya da bir diğer deyişle bağıntı ters simetriktir.
Her \( (a, b) \in \beta \) için \( (b, a) \notin \beta \) ise,
\( \beta \) bağıntısı ters simetriktir.
Bir bağıntıda \( (a, a) \) cinsinden sıralı ikililerin bulunması ters simetri özelliğinin bulunmasını ya da bulunmamasını etkilemez.
Buna göre, \( A \) üzerinde tanımlı aşağıdaki bağıntıların ters simetri özelliği vardır.
\( \beta_1 = \{ (1, 2), (2, 4) \} \)
\( \beta_2 = \{ (1, 2), (2, 4), (3, 3) \} \)
\( (1, 2) \) ve \( (2, 1) \) elemanlarını içerdiği için \( A \) üzerinde tanımlı aşağıdaki bağıntının ters simetri özelliği yoktur.
\( \beta_3 = \{ (1, 2), (2, 1), (1, 3) \} \)
Bir bağıntının hem simetri ve hem de ters simetri özellikleri olabilir.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3) \} \)
\( \beta_2 = \emptyset \)
Bir bağıntıda simetri ve ters simetri özelliklerinin ikisi de olmayabilir.
\( \beta_1 = \{ (1, 2), (2, 3), (3, 2) \} \)
\( n \) elemanlı bir \( A \) kümesi üzerinde tanımlanabilecek ters simetri özelliğine sahip bağıntı sayısını aşağıdaki formülle hesaplayabiliriz.
Ters simetri özelliğine sahip bağıntı sayısı \( = 3^{\frac{n(n - 1)}{2}} \cdot 2^n \)
5 elemanlı bir küme üzerinde tanımlanabilecek ters simetri özelliğine sahip bağıntı sayısı:
\( = 3^{\frac{5(5 - 1)}{2}} \cdot 2^5 = 3^{10} \cdot 2^5 \)
Bir bağıntıdaki her \( (a, b) \) ve \( (b, c) \) sıralı ikilileri için, \( (a, c) \) sıralı ikilisi de bağıntıda tanımlı ise bu bağıntının geçişme özelliği vardır, ya da bir diğer deyişle bağıntı geçişken bir bağıntıdır.
Her \( (a, b) \in \beta \land (b, c) \in \beta \) için \( (a, c) \in \beta \) ise,
\( \beta \) bağıntısı geçişkendir.
Bir bağıntıda \( (a, b) \) ve \( (b, c) \) elemanları bulunmadan \( (a, c) \) elemanının bulunması bağıntının geçişken olmasına engel olmaz.
Buna göre, \( A \) üzerinde tanımlı aşağıdaki bağıntıların geçişme özelliği vardır.
\( \beta_1 = \{ (1, 2), (2, 4), (1, 4) \} \)
\( \beta_2 = \{ (1, 2), (2, 2) \} \)
\( \beta_3 = \{ (1, 4) \} \)
\( (1, 4) \) elemanını içermediği için \( A \) üzerinde tanımlı aşağıdaki bağıntının geçişme özelliği yoktur.
\( \beta_4 = \{ (1, 2), (2, 4), (4, 4) \} \)
Bir bağıntı yansıma, simetri ve geçişme özelliklerine sahipse bu bağıntı bir denklik bağıntısıdır.
\( A \) üzerinde tanımlı aşağıdaki bağıntılar birer denklik bağıntısıdır.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3), (4, 4) \} \)
\( \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (1, 3), (3, 1), \) \( (2, 4), (4, 2) \} \)
Bir küme üzerinde tanımlı denklik bağıntıları içinde eleman sayısı en az olan bağıntı, sadece \( (a, a) \) elemanlarından oluşan bağıntıdır.
Birer denklik bağıntısı olan iki bağıntının kesişim kümesi de bir denklik bağıntısıdır.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (1, 3), (3, 1) \} \)
\( \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (2, 4), (4, 2) \} \)
\( \beta_1 \cap \beta_2 = \{ (1, 1), (2, 2), \) \( (3, 3), (4, 4) \} \)
Birer denklik bağıntısı olan iki bağıntının birleşim kümesi bir denklik bağıntısı olabilir ya da olmayabilir. Aşağıda birleşim kümesi bir denklik bağıntısı olmayan iki denklik bağıntısı örnek olarak verilmiştir. Bu örnekte birleşim kümesinde \( (1, 4) \) ve \( (4, 1) \) elemanları bulunmadığı için birleşim kümesi geçişme özelliğine sahip değildir.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (1, 3), (3, 1) \} \)
\( \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (3, 4), (4, 3) \} \)
\( \beta_1 \cup \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (1, 3), (3, 1) \) \( (3, 4), (4, 3) \} \)
Bir bağıntı yansıma, ters simetri ve geçişme özelliklerine sahipse bu bağıntı bir sıralama bağıntısıdır.
\( A \) üzerinde tanımlı aşağıdaki bağıntılar birer sıralama bağıntısıdır.
\( \beta_1 = \{ (1, 1), (2, 2), (3, 3), (4, 4) \} \)
\( \beta_2 = \{ (1, 1), (2, 2), (3, 3), (4, 4), \) \( (1, 3) \} \)