Skip to main content
Post Made Community Wiki
Source Link

In the definition of an equivalence relation $\sim$, the reflexivity of $\sim$ is redundant: Indeed, for any $x$, by the symmetric property we have $x \sim y$ implies $y \sim x$. By transitivity we have $x \sim y$ and $y \sim x$ imply $x \sim x$. Therefore, using only symmetry and transitivity, we obtain reflexivity.