>>506
≦で定義しようが<で定義しようが>>505によって2つの定義は同じになるから

要するに定義は≦<どっちでもいいけど、|x|=-x ⇔ x<0は誤りになる