Exercise 13, § 1

Show that under the law $(X, Y) \mapsto X \circ Y$ between subsets of $E \times E$ the centre is the set consisting of $\varnothing$ and the diagonal.