Es sei M {\displaystyle {}M} eine Menge. Dann nennt man die Menge
die n {\displaystyle {}n} -fache Produktmenge von M {\displaystyle {}M} .