Let \(X\) and \(Y\) be sets. A subset \(R\subset X\times Y\) is called relation. For \((x,y)\in R\) we also write \(xRy\).

See also Link to heading