» Set of symbols
» Alphabet
» Deduction system
» Theory
» Zermelo-Fraenkel set theory
» Set
» Binary Cartesian set product
» Binary relation
» Map
» Cartesian product
» Numerical Cartesian product
» Real Cartesian product
Euclidean real Cartesian product
<No formulations for this definition yet>
Child definitions
» D372: Set of complex numbers
» D2577: Set of octonions
» D827: Set of quaternions