Sets/Relation/Definition

Relation

Let ${}X$ and ${}Y$ denote sets. A relation between ${}X$ and ${}Y$ is a subset ${}R\subseteq X\times Y$.