Borel null set (source code)

= Borel null set

A <Borel set> of <Lebesgue measure> zero. Every Lebesgue-null <set> is contained in a Borel <null set>, by outer regularity; consequently testing all <Borel null sets> suffices in the definition of a <Sierpiński set>.