絶対値の定義と性質

実数の絶対値の定義と性質。テストと微調整完了。