\begin{definition}[Definition:Relation/Notation]
Let $\RR$ be a relation.
If $\tuple {x, y}$ is an ordered pair such that $\tuple {x, y} \in \RR$, we use the notation:
:$s \mathrel \RR t$
or:
:$\map \RR {s, t}$
and can say:
:'''$s$ bears $\RR$ to $t$'''
:'''$s$ stands in the relation $\RR$ to $t$'''
If $\tuple {s, t} \notin \RR$, we can write: $s \not \mathrel \RR t$, that is, by drawing a line through the relation symbol.
See Complement of Relation.
Category:Definitions/Relations
\end{definition}