Proposition: Der erzeugte Ring eines Ring ist der Ring selbst

Sei eine Grundmenge.
Sei ein Ring.
Sei ein Mengensystem.

Es gilt:

Insbesondere gilt also auch: