# Relation

Let $X$ be a set. We say that any $R \subset X \times X$, where $\times$ denotes the product is a relation on $X$.