Definition:Complement of Relation

Definition
Let $\RR \subseteq S \times T$ be a relation.

The complement of $\RR$ is the relative complement of $\RR$ with respect to $S \times T$:
 * $\relcomp {S \times T} \RR := \set {\tuple {s, t} \in S \times T: \tuple {s, t} \notin \RR}$

If the sets $S$ and $T$ are implicit, then $\map \complement \RR$ can be used.

Also denoted as
An alternative to $\relcomp {S \times T} \RR$ is $\overline \RR$ which is more compact and convenient, but the context needs to be established so that it does not get confused with other usages of the overline notation.

Specific conventional symbols used to denote certain frequently-encountered relations often consist of lines in various configurations, for example $=$, $\le$, $\equiv$, and adding an overline to these can only make for confusion.

In these cases, it is conventional to draw a line through the symbol, for example:
 * $\ne$ for $\map \complement =$
 * $\not \le$ for $\map \complement \le$
 * $\not \equiv$ for $\map \complement \equiv$

and so on.

Some authors use $\RR'$ to denote the complement of $\RR$, but $'$ is already heavily overused.