# Definition A relation $R$ defined in a [[set|set]] $X$ is a [[subset|subset]] of $X \times X$, i.e., $R \subset X\times X$. If $(a,b) \in R$, then we may write $a R b$