そもそも「値域が有限集合であるような関数」ではないね
一点の逆像が可測集合じゃないとダメ