数学において指示関数(しじかんすう、英: indicator function)、集合の定義関数、特性関数(とくせいかんすう、英: characteristic function)は、集合の元がその集合の特定の部分集合に属するかどうかを指定することによって定義される関数である。