示函数也记作formula_2或formula_3。
简单性质.把"X"的子集"A"对应到它的指示函数的映射是双射，值域是所有函数formula_4的集合。如果"A"和"B"是"X"的两个子集，那么以及这等式用于马尔可夫不等式的一个简单证明里。