Inductive definition

Summary