Let $x \in S$ be an element of a set of objects $S$.
Then:
if and only if:
Such an element is identified as being distinct from the others.