indicator function
function that returns 1 if an element is present in a specified subset and 0 if absent; naturally isomorphic with a set's subsets
function that returns 1 if an element is present in a specified subset and 0 if absent; naturally isomorphic with a set's subsets