|
[[Matematik]]te iki [[küme]]nin [[Kartezyen çarpım]]ının herhangi bir [[alt küme]]si '''bağıntı''' olarak tanımlanır. Bir kümedeki bir [[öğe]]yi başka bir kümedeki bir öğeye götürür. Yâni, iki öğe arasında bir ''bağ'' kurar. Örneğin, [[Gönderme (Matematik)|göndermeler]] tek yönlü bir bağıntıdır.
hhhhhhhh
==Tanım==
hhhhh
''A'' ve ''B'' herhangi iki küme olsun. <math>A \times B</math>'nin herhangi bir altkümesine bağıntı denir:
:(2)İki ya da daha çok şey arasındaki karşılıklı ilişki, ilinti, °münasebet.
Eşyayı, kavramları ya da tasarımları birlik, bağlılık, birliktelik gibi durumlarda toplayan görünüş ya da nitelik, görelik, °izafiyet, °rölativite.
:<math>\beta=\{(a,b) \, | \, a \in A, \, b \in B \} \sube A \times B</math>
burada ''a'' ile ''b'' öğeleri arasında bir bağ vardır. Dikkat edilirse bir bağıntı [[boşküme|boş]] olabilir. Çünkü kümedeki öğelerin varlığından söz edilmiyor, eğer <math>\exist</math> simgesi olsaydı o zaman öğelerin varlığı zorunlu olurdu. Boşküme de kartezyen uzayın bir altkümesi olduğu için boş bağıntı mümkündür.
Daha genel olarak, birbirinden farklı olması gerekmeyen ''n'' küme (<math>A_1, A_2, ..., A_n</math>) arasındaki ''n'' 'li bağıntı (<math>\beta</math>), bu kümelerin [[kartezyen çarpım]]ının herhangi bir [[alt küme]]sidir.
:<math> \beta = {(a_1, \cdots, a_n) \, | \, a_i \in A_i} \subseteq A_1 \times A_2 \times \cdots \times A_n</math>
''n'', iki ise [[ikili bağıntı]] olarak adlandırılır.
== Örnekler ==
| 