\begin{definition}[Definition:Relation/Unary Relation]
As a special case of an $n$-ary relation on $S$, note that when $n = 1$ we define a '''unary relation''' on $S$ as:
:$\RR \subseteq S$
That is, a '''unary relation''' is a subset of $S$.
\end{definition}