Бінарная адносіна
З Вікіпедыя.
Біна́рная адно́сіна – адносіна між дзвюма мноствамі R(X,Y).
Факт наяўнасці адносіны R між элементамі x і y можна абазначыць наступным чынам:
- R(x,y)
- xRy
- y = R(x)
Разглядаюць наступныя катэгорыі бінарных адносін:
- функцыянальная адносіна (або проста функцыя) – адносіна, ў якой кожны x можа мець не больш аднаго такога y, што y=R(x). Інакш кажучы, функцыя – гэта такая адносіна, для якой з таго, што y1 = f(x) і y2 = f(x) вынікае y1 = y2
- ін'ектыўная адносіна (або проста ін'екцыя) – адносіна, ў якой кожны y можа мець не больш аднаго такога x, што y=R(x). Інакш кажучы, ін'екцыя – гэта такая адносіна, для якой з таго, што y = f(x1) і y = f(x2) вынікае x1 = x2
