Base case
= Base case
A case answered without further <recursive calls>. Complete <base cases> are one part of an <algorithm termination> argument; the other cases must progress in a <well-founded relation>.
= Base case
A case answered without further <recursive calls>. Complete <base cases> are one part of an <algorithm termination> argument; the other cases must progress in a <well-founded relation>.