inductive definitions