Solution
= Solution
A relation on $S$ is a subset of $S\times S$. An equivalence relation is reflexive, symmetric, and transitive. Its equivalence class at $x$ is $[x]=\{y\in S:x\sim y\}$.
= Solution
A relation on $S$ is a subset of $S\times S$. An equivalence relation is reflexive, symmetric, and transitive. Its equivalence class at $x$ is $[x]=\{y\in S:x\sim y\}$.