{
   Pro $\inf\{-x\}$ podle definice plat�:\\
   1) $\forall y\in\{-x\} \colon y > \inf\{-x\}$,\\
   2) $y' > \inf\{-x\} \Rightarrow \exists y\in\{-x\},\: y < y'$\\
   Pro $-\sup\{x\}$ podle definice (``vyn�soben�'' ��slem $-1$) plat�:\\
   1) $\forall x\in\{x\} \colon -x >-\sup\{x\}$,\\
   2) $-x' > -\sup\{x\} \Rightarrow \exists x\in\{-x\},\: -x < -x'$\\
   Je vid�t, �e oba p�ry v�rok� popisuj� tot� ��slo, pon�vad� podle zad�n� je
   $x\in\{-x\}\Leftrightarrow -x\in\{x\}$.~\checkmark
   }