This paper gives a
characterization of the maximal monoids and maximal groups in βX, the semigroup
of binary relations. The characterization is applied to show that the maximal group
containing the partial order α is isomorphic to the group of order automorphisms of
(X,α).