Mathematics - Inverse axiom

• / is inverse of *
• - is inverse of +
• root <math>\sqrt[n]x</math> is the inverse of exponentiation <math>b^n</math>

Functions f and g are functional inverses if:

• <math>f \circ g</math> and <math>g \circ f</math> are defined
• and are Function - Identity functions.