Produktmenge/Endlich/Produkt-Präring/Definition

Produkt-Präring

Es seien ${}(M_{1},{\mathcal {P}}_{1}),\ldots ,(M_{n},{\mathcal {P}}_{n})$ Mengen mit darauf erklärten Präringen. Dann nennt man den von allen Quadern

$S_{1}\times \cdots \times S_{n}{\text{ mit }}S_{i}\in {\mathcal {P}}_{i}{\text{ für alle }}i=1,\ldots ,n$

erzeugten Präring den Produkt-Präring der ${}(M_{i},{\mathcal {P}}_{i})$, ${}i=1,\ldots ,n$.