Lemma: Kartesisches Produkt von Halbringen ist ein Halbring

Seien eine Reihe von Grundmengen.
Seien Halbringe.

Dann gilt:

ist ein Halbring über .