finitely_additive_class