Relative Induction Principles for Type Theories