relation

• a relation on a set $A$ is a subset $R\subseteq A\times A$. We often abbreviate the statement $(x,y)\in R$ as $xRy$. The statement $(x,y)\notin R$ is abbreviated as $x/Ry$