text: Для любого бинарного отношения R {\displaystyle R} , определённого на A {\displaystyle A} , имеет место R I d A = I d A R {\displaystyle R{\mathsf {Id}}_{A}={\mathsf {Id}}_{A}R} , где символом I d A {\displaystyle {\mathsf {Id}}_{A}} обозначено равенство, определённое на A {\displaystyle A} .