\begin{definition}[Definition:Distinct/Plural]
Two objects $x$ and $y$ are '''distinct''' {{iff}} $x \ne y$.
If $x$ and $y$ are '''distinct''', then that means they can be '''distinguished''', or '''identified as being different from each other'''.
\end{definition}