Borel set
If formula_160 is name of formula_434, and for formula_467 holds formula_446"formula_469 is Borel set of measure 1", then holds