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