ボレル集合
Let formula_436 be any Borel set of measure 1. If formula_224 intersects formula_438, then formula_439.