Аналитическое доказательство тождеств

Операции над соответствиями

Так как соответствие– это множество, то над соответствиями выполняются все теоретико–множественные операции.

Пример.

A={a,b,c}, B={1,2,3}

R₁={(a,1),(a,3),(b,2),(c,3)}, R₂={(a,2),(a,3)}

R₁ÇR₂= {(a,1),(a,2),(a,3),(b,2),(c,3)}

R₁\R₂= {(a,1),(b,2),(c,3)}

`R₁= {(a,2),(b,1),(b,3),(c,1),(c,2)}

Соответствие множества Х в самого себя определяется парой (Х, R), где . В этом случае для обозначения данного соответствия используется термин отношение и вводят специальную символику: yRx – у находится в отношении R к х. Если n=2, то R называется бинарным отношением.