Definition:Principle of Superinduction/Terminology