Algebra of Indicator Functions