>>219
あなたの言う通り。
a=b⇒f(a)=f(b) が成り立てば well-defind.
1=0.999...を認めるならば写像が定義できてない、というだけの話。