Union of equivalence relations

ID: union-of-equivalence-relations

A union of equivalence relations on the same set is reflexive and symmetric, but can fail transitivity. On a three-point set, partitions into blocks and make the union relate to and to without relating to . An equivalence relation containing both requires transitive closure as well.

New to topics? Read the docs here!