Вещественнозначная конечно-аддитивная функция множества.