Proposition: Teilmengen-Beziehung überträgt sich auf die erzeugte Algebra

Sei eine Grundmenge.
Seien zwei Mengensysteme.

Es gilt: