Borel_completely_additive_class_of_sets