I believe usually it is also required that the number of steps (levels) to reach the non-recursive base should always be finite (e.g. recursion via a countable set).
I believe usually it is also required that the number of steps (levels) to reach the non-recursive base should always be finite (e.g. recursion via a countable set).