Binary relation
In mathematics, a binary relation associates some elements of one set called the domain with some elements of another set (possibly the same) called the codomain. Precisely, a binary relation over sets X {\displaystyle X} and Y {\displaystyle Y} is a set of ordered pairs ( x , y ) {\displaystyle (x,y)} , where x {\displaystyle x} is an element of X {\displaystyle X} and y {\displaystyle y} is an element of Y {\displaystyle Y} .