Indicator Function Math Meaning Congruent