\begin{definition}[Definition:Equivalence Relation/Definition 1]
Let $\RR$ be a relation on a set $S$.
Let $\RR$ be:
:$(1): \quad$ reflexive
:$(2): \quad$ symmetric
:$(3): \quad$ transitive
Then $\RR$ is an '''equivalence relation''' on $S$.
\end{definition}