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
Countable map
Sequence
Number sequence
Euclidean number sequence
Basic number sequence
Real sequence
Basic boolean sequence
Definition D6211
Boolean pair