:: deftheorem defines Ext_Borel_Sets FINANCE5:def 13 :
Ext_Borel_Sets = sigma Ext_Family_of_halflines;