Beweis

Offenbar gehört das neutrale Element zum Durchschnitt. Es seien . Dann ist für alle und daher auch für alle . Damit gehört zum Durchschnitt, d.h. der Durchschnitt ist ein Untermonoid. Es sei nun ein Element im Durchschnitt. Dann ist für alle und daher auch für alle , also .