equivalence relation

[[concept]]

An equivalence relation $\sim$ on a set $V$ satisfies:

• (reflexivity) $v\sim v$
• (symmetry) $v\sim v^{\prime }⟹v^{\prime }\sim v$
• (transitivity) $v\sim v^{\prime },v^{\prime }\sim v^{″}⟹v\sim v^{″}$

Mentions

Created 2025-06-05 Last Modified 2025-06-05