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} .
