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

Es seien ${}(M_{1},{\mathcal {P}}_{1}),\ldots ,(M_{n},{\mathcal {P}}_{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