\(|a| = \begin{cases} a, & a\ge 0 \\ -a, & a<0 \end{cases}\)

非负性：\(|a|\ge 0\)

\(|a| = |-a|\)