Es sei X {\displaystyle {}X} ein kompakter topologischer Raum und T ⊆ C ( X , R ) {\displaystyle {}T\subseteq C(X,\mathbb {R} )} eine abgeschlossene R {\displaystyle {}\mathbb {R} } -Unteralgebra.
Dann gehört mit f {\displaystyle {}f} auch | f | {\displaystyle {}\vert {f}\vert } zu T {\displaystyle {}T} .
