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
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Semigroup
Standard N-operation
Exponentiation
Root
Real root
Rational exponentiation
Real exponentiation
Standard real exponentiation function
Definition D6050
Real square function
Formulation 0
The real square function is the D4364: Real function \begin{equation} \mathbb{R} \to [0, \infty), \quad x \mapsto x^2 \end{equation}