Довести тотожності для бінарних відношень:
а) 
;
б) 
;
в) 
;
г) 
.
Розв’язування:
а) для довільної пари
.
З довільності вибору пари маємо, що .
б) для довільної пари
.
З довільності вибору пари маємо, що .
в) для довільної пари
.
З довільності вибору пари маємо, що .
г) для довільної пари
.
З довільності вибору пари маємо, що .
