countably_additive_class_of_sets