Abstract:
All isomorphisms between semigroups of relatively continuous binary relations defined on arbitrary topological spaces are described. As a corollary, the absolute definability of any nontrivial topological space by the semigroup of all of its relatively continuous binary relations is proved.
Keywords:binary relation, topological space, semigroup of relatively continuous binary relations, isomorphism of semigroups, induced isomorphism, absolute definability.