converse relation

The converse of a binary relation switches the order of the elements in each comparison.

Formally,
a binary relation $R \subseteq X \times Y$ has converse relation

R^{- 1} = {(y, x) \in Y \times X : (x, y) \in R}