Note that for measurable set there is a natural inheritance of the field defined as . By the properties of set arithmetic, it is clear that properties , and hold for as well.