Equivalence Relation

• Equivalence Relation #Card
  • A relation $\approx$ on $X$ that is reflexive, symmetric, and transitive. - Written as $x \approx y \iff y \in Ex$ (where $E$ is the equivalence relation).

Back

A relation $\approx$ on $X$ that is reflexive, symmetric, and transitive.

• Written as $x \approx y \iff y \in Ex$ (where $E$ is the equivalence relation).

Lean

Setoid X（Equivalence を束ねた構造）