Set/Relation/Definition

Relation (one set)

A relation ${}R$ on a set ${}M$ is a subset of the product set ${}M\times M$, that is, ${}R\subseteq M\times M$.