ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F9869 on R4272: Absolute value function is not strictly antitone
F9869
Formulation 0
Let $x \mapsto |x|$ be the D412: Absolute value function.
Then
(1) \begin{equation} 0 < 1 \end{equation}
(2) \begin{equation} |0| < |1| \end{equation}