Es sei ${\displaystyle {}M}$ eine Menge. Unter einer ${\displaystyle {}n}$-stelligen Abbildung auf ${\displaystyle {}M}$ versteht man eine Abbildung

${\displaystyle f\colon M\times \cdots \times M\longrightarrow M,\,(x_{1},\ldots ,x_{n})\longmapsto f(x_{1},\ldots ,x_{n}),}$

vom ${\displaystyle {}n}$-fachen Produkt von ${\displaystyle {}M}$ mit sich selbst nach ${\displaystyle {}M}$.