Ü

s(A) = m ve s(B) = n ise,

A dan B ye 2^m×n tane bağıntı tanımlanabilir.

A ´ A nın herhangi bir alt kümesine A dan A ya bağıntı ya da A da bağıntı denir.

s(A) = m ve s(B) = n olmak üzere,

A dan B ye tanımlanabilen r elemanlı (r £ m × n) bağıntı sayısı

bÌ A ´ B olmak üzere,

b = {(x, y) : (x, y) Î A ´ B} bağıntısının tersi

b^–1Ì B ´ A dır.

Buna göre, b bağıntısının tersi

b^–1 = {(y, x) : (x, y) Î b} dır.