4 ms·

I think the closest short answer is that recursive definitions are just a special case of inductive ones for writing functions.