一般の集合Mから実数への写像の総称。

多くは、関数空間から実数への写像のことを指す。

特に積分を用いて定義されたものが多い。