Для бінарних відношень, що задовольняють умови ефективності та зв'язності, доведено, що напівгрупа ендотопізмів будь-якого такого відношення характеризує це бінарне відношення з точністю до ізотопізму або антиізотопізму.
Визначено клас симетричних відношень і доведено, що моноїд усіх сильних ендотопізмів довільного симетричного відношення такого класу є ізоморфним вінцевому добутку моноїда сильних ендоморфізмів канонічної сильної фактор-системи ...