\begin{definition}[Definition:Distinct/Indistinguishable]
Two objects are '''indistinguishable''' if they can not (in a particular context) be told apart from each other.
So, two objects may be '''distinct''' but (at a given level) '''indistinguishable''', like identical twins.
\end{definition}