Suppose A is a non-empty set and R is a symmetric and transitive relation on A. Suppose further that each element x 2 A appears in some ordered pair in R (as either the rst coordinate or the second coordinate). Prove that R is reexive.
One bonus mark is available if this proof is perfectly written.