Definition:Relation/Unary Relation

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


Sources