Definition:Relation/Notation

Definition
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.