a_37是一个任意集合，那么一般会将所有从formula_37映至formula_2的函数的集合给记做formula_40，这些函数即是formula_37的指示函数，所有的指示函数都有如下的形式：在其中formula_43是formula_37的一个子集。换句话说formula_40这个函数的集合和formula_37的幂集formula_47间，有着双射的关系。每个formula_37的子集formula_43都有自己的指示函数formula_50，而每个从formula_37映至formula_2的