Бінарнае дачыненне
Біна́рная дачыне́нне — дачыненне між дзвюма мноствамі R(X,Y).
Факт наяўнасці дачынення R між элементамі x і y можна абазначыць наступным чынам:
- R(x, y)
- xRy
- y = R(x)
Разглядаюць наступныя катэгорыі бінарных дачыненняў:
- функцыянальнае дачыненне (або проста функцыя) — дачыненне, у якім кожны x можа мець не больш за адзін такі y, што y=R(x). Інакш кажучы, функцыя — гэта такое дачыненне, для якога з таго, што
y
1
= f ( x )
{\displaystyle y_{1}=f(x)}
y
2
= f ( x )
{\displaystyle y_{2}=f(x)}
y
1
=
y
2
{\displaystyle y_{1}=y_{2}}
- ін’ектыўнае дачыненне (або проста ін’екцыя) — дачыненне, ў якім кожны y можа мець не больш за адзін такі x, што y=R(x). Інакш кажучы, ін’екцыя — гэта такое дачыненне, для якога з таго, што
y
f (
x
1
)
{\displaystyle y=f(x_{1})}
y
f (
x
2
)
{\displaystyle y=f(x_{2})}
x
1
=
x
2
{\displaystyle x_{1}=x_{2}}
Катэгорыя·Дыскрэтная матэматыка
Катэгорыя·Бінарныя дачыненні
Катэгорыя·Тэорыя мностваў