Produktmenge/Endlich/Quaderbeschreibung des Produkt-Präringes/Fakt

Es seien $(M_1,{𝒫}_1),\dots ,(M_n,{𝒫}_n)$ Mengen mit darauf erklärten Präringen.

Dann besteht der Produkt-Präring aus allen endlichen disjunkten Vereinigungen von Quadern.

Zum Beweis, Alternativen Beweis erstellen