そうすると、
0 ≠ 0/0 だけれど
0 → 0/0 である
0/0 → 0 ではない
と再定義されることになる