置き換えるほうがわかりにくそう
｛ a ｜ ｜a｜ ≦ c ｝ ＝ ｛ a ｜ 0 ≦ a ≦ c ∨ 0 ≦ −a ≦ c ｝
　　　　　　　　　　　　　＝ ｛ a ｜ 0 ≦ a ≦ c ∨ −c ≦ a ≦ 0 ｝
　　　　　　　　　　　　　＝ ｛ a ｜ −c ≦ a ≦ c ｝