{0,1,2}からRへの関数全体の集合ってのもあったっけ。