Полугруппа всех бинарных отношений на множестве

Рассматриваются свойства полугруппы R(X) всех бинарных отношений на непустом множестве X с операцией композиции бинарных отношений. Доказано, что в терминах полугруппы R(X) выражается вся информация о бинарных отношениях на X. Описаны изоморфизмы между полугруппами R(X) и R(Y) для произвольных множеств X и Y. Получена абстрактная характеризация полугрупп R(X).