Definition:Relation/Unary Relation

From ProofWiki
Jump to navigation Jump to search

Definition

As a special case of an $n$-ary relation on $S$, note that when $n = 1$ we define a unary relation on $S$ as:

$\mathcal R \subseteq S$


That is, a unary relation is a subset of $S$.


Also see


Linguistic Note

The word unary is pronounced yoo-nary.

Hence when the indefinite article precedes it, the form is (for example) a unary operation.


Sources