inductive sets