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
Cartesian product
Complex cartesian product
Real cartesian product
Definition D816
Euclidean real Cartesian product
Children
Set of complex numbers
Set of octonions
Set of quaternions