Definition:Distinct/Plural

From ProofWiki
Jump to navigation Jump to search

Definition

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 defined as

Some sources restrict the scope of this definition to mean not numerically equal.


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


Also see