
Also known as finitely additive measure
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
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).