Fieari
Explorer
Oooh, I hadn't considered elemental! That would be -perfect- I think. The type and subtype would be "Elemental (Math)" with the moigno traits above being renamed "Math Subtype traits".
Okay, let's try to revise the list a little.
Species:
Natural
Rational
Negative
Algebraic
Irrational
Transcendental
Normal
(Real? Maybe better to just describe all of the above as reals... a hierarchical thing)
Templates:
Imaginary (0 real component, the imaginary component has the traits of the base moigno)
Complex (Lich equiv)
Quaternion (Demilich equiv)
Octonion (Akalich equiv)
Matrix (Vampire equiv?)
Invertable Matrix (Vampire lord equiv?)
Semidefinite +/- Matrix (Nosferatu equiv?)
Definite +/- Matrix (Welkin equiv?)
Divine Ranks given to:
Countably infinite-bounded sets (e.g. all rational numbers between 0 and 1)
Countably infinite-unbounded sets (e.g. even numbers)
Uncountably infinite-bounded sets (e.g. Cantor set)
Uncountably infinite-unbounded sets (e.g. all transcendentals)
Okay, let's try to revise the list a little.
Species:
Natural
Rational
Negative
Algebraic
Irrational
Transcendental
Normal
(Real? Maybe better to just describe all of the above as reals... a hierarchical thing)
Templates:
Imaginary (0 real component, the imaginary component has the traits of the base moigno)
Complex (Lich equiv)
Quaternion (Demilich equiv)
Octonion (Akalich equiv)
Matrix (Vampire equiv?)
Invertable Matrix (Vampire lord equiv?)
Semidefinite +/- Matrix (Nosferatu equiv?)
Definite +/- Matrix (Welkin equiv?)
Divine Ranks given to:
Countably infinite-bounded sets (e.g. all rational numbers between 0 and 1)
Countably infinite-unbounded sets (e.g. even numbers)
Uncountably infinite-bounded sets (e.g. Cantor set)
Uncountably infinite-unbounded sets (e.g. all transcendentals)