theorem :: FINANCE2:22

Borel_Sets = sigma Family_of_halflines2