- Пусть даны 2 множества A и B. Бинарным отношением между мн-вами A и B называется любое подмн-во прямого произведения AхB
- Бинорное отношение принято обозначать греческими буквами p, ф и P.
- Суперпозиция g и f - бин.от. обозначает gof, которое сост. (x,y) : E(для любого) z (x,z)принадлижащие g, (z,y) принадлижащие f
- Обратное отношение[уточнить] (отношение, обратное к R) — это двухместное отношение, состоящее из пар элементов (у, х), полученных перестановкой пар элементов (х, у) данного отношения R. Обозначается: R−1. Для данного отношения и обратного ему верно равенство: (R−1)−1 = R.