Endlich additive Mengenfunktion