Verilen bir A kümesinin kendisiyle kartezyen çarpımının her bir alt kümesine ikili bağıntı denir. Bir başka deyişle R ⊆ A × A durumunda R bir ikili bağıntıdır. Örneğin A = {1, 2, 3} iken R₁ = {(1,1), (1,2), (2,1)} bir ikili bağıntıdır.

R ikili bağıntısında, A‘nın her elemanı x ∈ A için (x,x) ∈ R ise R yansımalı bir ikili bağıntıdır.

A‘nın herhangi iki elemanı x, y ∈ A için (x,y) ∈ R iken (y,x) ∈ R oluyorsa R simetrik bir ikili bağıntıdır.

A kümesinde n adet eleman olduğunu varsayalım.

A kümesi üzerinde kaç farklı ikili bağıntı tanımlanabilir?

A kümesi üzerinde kaç farklı simetrik ikili bağıntı tanımlanabilir?

A kümesi üzerinde kaç farklı yansımalı ve simetrik ikili bağıntı tanımlanabilir?