The indicator function of a subset 
of a set 
is the function 
defined by
 |
(1)
|
Thus an indicator function records membership in 
by the values 1 and 0. It is also called the characteristic
function of 
and is sometimes written using an Iverson bracket.
