Behauptung. Sei \(\oplus : \mathbb{R}^\mathbb{R}\times \mathbb{R}^\mathbb{R} \to \mathbb{R}^\mathbb{R}\) mit
\((f\oplus g)(x) \coloneqq f(x) + g(x) - f(x)\cdot g(x)\)
für alle \(f,g\in \mathbb{R}^\mathbb{R}\) und alle \(x\in\mathbb{R}\).
Dann ist \(\oplus\) kommutativ.
Beweis. Es gilt
\(\begin{aligned}&(f\oplus g)(x)\\ =\,&f(x) + g(x) - f(x)\cdot g(x)\\ =\,&g(x)+f(x) - g(x)f(x)\\ =\,&(g\oplus f)(x)\end{aligned}\).