Definition of Superinductio