Proposition: Teilmengen-Beziehung überträgt sich auf den erzeugten Ring

Sei eine Grundmenge.
Seien zwei Mengensysteme.

Es gilt: