The equivalence class associated to $a$ is the set $\webleft [a\webright ]$ defined by

\begin{align*} \webleft [a\webright ] & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ x\in X\ \middle |\ x\sim _{R}a\webright\} \\ & = \webleft\{ x\in X\ \middle |\ a\sim _{R}x\webright\} \tag {since $R$ is symmetric}.\end{align*}

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: