X, Yは集合、F(X, Y)はXからYへの写像全体を表す。
R, Nは、それぞれ実数全体の集合、自然数全体の集合を表す。
「〜」は、一対一の対応、「×」は直積を表す。

F(R, F(N, {0, 1}))〜F(R　×　N, {0, 1})を示せ。