によって定義するとき、の終域はだが、は任意の負の数に写る元を持たない。