Since each is real, it follows that is real. If is any subset of with finite measure, and is the characteristic function of , then is in , and in . But is identically equal to 1/2. It follows that almost everywhere on , and so takes the value 0 or 1 almost everywhere on (and hence almost everywhere on ). Thus is almost everywhere equal to the characteristic function of a set in .