ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols
▼	Alphabet
▼	Deduction system
▼	Theory
▼	Zermelo-Fraenkel set theory
▼	Set
▼	Binary cartesian set product
▼	Binary relation
▼	Map
▼	Function
▼	Measure
▼	Real measure
▼	Euclidean real measure
▼	Complex measure
▼	Basic measure
▼	Unsigned basic measure
▼	Borel measure

Definition D5241

Standard borel unsigned basic measure