Ontify
Extended-nonnegative-real-valued function defined on a field of sets (or more generally, a boolean algebra) that is additive over finitely many disjoint sets.