集合函数
数学における集合函数(しゅうごうかんすう、英: set-function)は集合を変数(入力、引数)とする函数である。集合函数は出力としてふつうは数を返すが、しばしば出力として無限大を許す(すなわち補完数直線に値をとる函数も考える)。入力は、普通は適当な集合の部分集合族の元となっているような集合であり、しばしば実数からなる集合、ユークリッド空間内の点集合、適当な測度空間内の点集合などから取られる。
これと対照的に、入力が点である(通常の意味の)函数を点函数とよぶ。また、集合を値として出力する写像はしばしば集合値函数と呼ばれる(集合値函数と多価函数は同じような意味で用いられることがあるが、必ずしも同義語でない)。
集合函数は測度論の基礎を成すもので、測度および有限加法的測度は特定の性質を満足する集合函数として定められる。
↑ (伊藤, p. 11)
↑ より厳密には X 上の C-集合函数のように言う (伊藤, p. 11)