Produktmenge/Endlich/Definition

Produktmenge

Es seien Mengen ${}M_{1},M_{2},\ldots ,M_{n}$ gegeben. Dann nennt man die Menge

${}M_{1}\times M_{2}\times \cdots \times M_{n}={\left\{(x_{1},x_{2},\ldots ,x_{n})\mid x_{i}\in M_{i}\right\}}\,$

die Produktmenge der Mengen.