▾ 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
▾ Euclidean real Cartesian product
▾ Set of complex numbers
Complex number
<No formulations for this definition yet>
Child definitions
» D507: Complex conjugate
Results
» R3670: Modulus sum upper bound to distance between two finite complex products for complex numbers in the unit disc
» R3685: Modulus sum upper bound to distance between two finite complex products