Power is Well-Defined
Jump to navigation
Jump to search
Theorem
Integer
Let $x$ be a non-zero real number.
Let $k$ be an integer.
Then $x^k$ is well-defined.
Rational
Let $x \in \R_{> 0}$ be a (strictly) positive real number.
Let $q$ be a rational number.
Then $x^q$ is well-defined.