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

Біна́рная дачыне́нне — дачыненне між дзвюма мноствамі 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}$