# Mathematics - Inverse axiom

• root $\sqrt[n]x$ is the inverse of exponentiation $b^n$
• $f \circ g$ and $g \circ f$ are defined