Бинарные отношения и отношения эквивалентности

Бинарное отношение $\rho$ — подмножество декартова произведения множеств: $\rho \subseteq A \times B$ — бинарное отношение. Бинарное отношение называется однородным, если оно является подмножеством декартова квадрата: $\rho \subseteq A \times…