complementary relation

The complement of a binary relation is the subset of the Cartesian product that is not an element of it.

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