Description: Basic property of equivalence relations. Part of Lemma 3N of Enderton p. 57. (Contributed by NM, 30-Jul-1995) (Revised by Mario Carneiro, 9-Jul-2014)