Inductive definition