Borel set
For any set formula_436 such that formula_467 and formula_446"formula_469 is a Borel set of measure 1" holds formula_491.