Unter einer n{\displaystyle {}n}-stelligen Relation R{\displaystyle {}R} auf einer Menge M{\displaystyle {}M} versteht man eine Teilmenge der n{\displaystyle {}n}-fachen Produktmenge M×⋯×M{\displaystyle {}M\times \cdots \times M}.