在集合论中，指示函数是定义在某集合X上的函数，表示其中有哪些元素属于某一子集A。