Definition:Distinct/Plural

From ProofWiki
Jump to: navigation, 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 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