properties of indicator functions