generated equivalence relation

Let \(S\) be a set and \(R \subseteq S \times S\) a subset. Then the generated equivalence relation is defined as the intersection of all equivalence relations \(R_i\) with \(R \subseteq R_i\)

see:

• intersection of equivalence relations as equivalence relation
• trivial relation as equivalence relation