Theorem 4. Suppose A is a set and X is the set of all relations on...