是
f:A-> B
for all x ∈ R (A)
=> x 是有理数 or x 不是有理数
=> f(x) = -1 当x为有理数
= 1 当x为无理数
所有x ∈ A
f(x)∈ B
f is a mapping from A -> B