Binary relation (source code)

= Binary relation
{wiki}

A binary relation on a set $X$ is a subset of $X\times X$.