Отношения на множестве

Если в декартовом произведении в качестве множества В выбрать множество А (то есть А ´ А = А ), то отношение k из А называется отношением на множестве.

Обратное отношение – это множество пар (а, b) таких, что
(b, a) А . Обозначение k ^-1.

Дополнение – это множество пар (а,b) k: ^.

Тождественное отношение – множество пар (а, а) таких, что, а А: I = {(a, a), a A }.

Универсальное отношение U = {(a, b), a A, b A }.