Title: Definition and Induction