6.2.4 Бинарные отношения

\( \underline{\mathrm{y}_{\text {словие: }}} \) Покажите, что \( R \circ R \subseteq R \) для любого транзитивного бинарного отношения \( R \). Может ли это включение быть строгим?