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
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Semigroup
Standard N-operation
Indexed sum
Series
Number series
Euclidean number series
Basic number series
Definition D4675
Real series
Results
Isotonicity of countably infinite real summation
Sum of real telescoping series
Vanishing sequence is necessary but not sufficient for finiteness of real series