definition by induction