割り算はゼロで割れないから、well-definedじゃないということですかね?