ディクリレ関数だろ

f(x)= 1(x∈Q) , 0(それ以外)
Qは有理数の集合