Category:Definitions/Distinct

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Distinct.


Of Two or More Objects

Two objects $x$ and $y$ are distinct if and only if $x \ne y$.


If $x$ and $y$ are distinct, then that means they can be distinguished, or identified as being different from each other.


Of a Single Object

Let $x \in S$ be an element of a set of objects $S$.

Then:

$x$ is distinguished from the other elements of $S$

if and only if:

$x$ is endowed with a property that the other elements of $S$ are specifically deemed not to possess.


Such an element is identified as being distinct from the others.