From ProofWiki
Jump to: navigation, search


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.

Pairwise Distinct

A set of objects is pairwise distinct if each pair of elements of that set is distinct.

Also known as

Distinct means the same thing as different.

If $x$ and $y$ are distinct then:

a distinction can be made between $x$ and $y$
$x$ is distinct from $y$; $y$ is distinct from $x$; $x$ and $y$ are distinct from each other.

Also see