Definition:Distinct/Plural/Pairwise Distinct

From ProofWiki
Jump to navigation Jump to search

Definition

A set $S$ of objects is pairwise distinct if and only if:

for each pair $\set {x, y} \subseteq S$ of elements of $S$, $x$ and $y$ are distinct.