Бінарнае дачыненне

Біна́рная дачыне́ннеШаблон:Sfn, бінарныя адносіны — дачыненне між дзвюма мноствамі R(X,Y).

Факт наяўнасці дачынення R між элементамі x і y можна абазначыць наступным чынам:

• R(x, y)
• xRy
• y = R(x)

Разглядаюць наступныя катэгорыі бінарных дачыненняў:

• функцыянальнае дачыненне (або проста функцыя) — дачыненне, у якім кожны x можа мець не больш за адзін такі y, што y=R(x). Інакш кажучы, функцыя — гэта такое дачыненне, для якога з таго, што $y_1=f(x)$ і $y_2=f(x)$ вынікае $y_1=y_2$
• ін’ектыўнае дачыненне (або проста ін’екцыя) — дачыненне, ў якім кожны y можа мець не больш за адзін такі x, што y=R(x). Інакш кажучы, ін’екцыя — гэта такое дачыненне, для якога з таго, што $y=f(x_1)$ і $y=f(x_2)$ вынікае $x_1=x_2$

Гл. таксама

• Транзітыўнасць

Літаратура

• Шаблон:Крыніцы/МатЭн (2001)
• Бинарные отношения — Бінарныя адносіны // Руска-беларускі матэматычны слоўнік: [больш за 630 слоў і словазлучэнняў] / Лабачэня, Г. Я., Шчыракоў, А. М.: Мінскі дзяржаўны педагагічны інстытут імя А. М. Горкага — Мн.: МДПІ, 1993. — С. 3. — 21 с. ; 20 см. — 100 экз.