ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Binary cartesian set product
▼
Binary relation
▼
Map
▼
Simple map
▼
Simple function
▼
Measurable simple complex function
▼
Simple integral
▼
Unsigned basic integral
▼
P-integrable basic function
Definition D1921
Absolutely integrable function
Children
▶
D1748: Signed basic integral
Results
▶
R3512: Unsigned basic integral over set of measure zero is zero