定義
(X, Φ) を可測空間(過去スレ007の211)とする。
f を X から位相空間 F への写像とする。

f(X) が F の有限集合であるとき f を単関数という。