The union need not be an equivalence relation, because transitivity can mix the two relations. Take . Let have equivalence classes and , and have classes and . Then and , but neither component relates to , so fails. The union of equivalence relations is reflexive and symmetric; it is precisely transitivity that may fail.