Produktmenge/Endlich/Produkt-Präring/Definition

Produkt-Präring

Es seien $(M_1,{𝒫}_1),\dots ,(M_n,{𝒫}_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 {𝒫}_i\text{ für alle }i=1,\dots ,n$

erzeugten Präring den Produkt-Präring der $(M_i,{𝒫}_i)$, $i=1,\dots ,n$.