Wir behaupten

${\displaystyle {}M=[-b,-a]\,.}$

Die Negationsabbildung ${\displaystyle {}x\mapsto -x}$ 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}}}$