Wir behaupten
Die Negationsabbildung x ↦ − x {\displaystyle {}x\mapsto -x} ist streng fallend. Somit ist
![{\displaystyle {}M=[-b,-a]\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4aeccca2165a06e5004ae34a2de44e2bed61123c)
ist streng fallend. Somit ist
![{\displaystyle {}{\begin{aligned}M&={\left\{x\in K\mid -x\in [a,b]\right\}}\\&={\left\{x\in K\mid a\leq -x\leq b\right\}}\\&={\left\{x\in K\mid -a\geq -{\left(-x\right)}\geq -b\right\}}\\&={\left\{x\in K\mid -a\geq x\geq -b\right\}}\\&=[-b,-a].\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcfe206fea9ed8c9b11f4582988751b8df236c6b)
