Description: The value of the recursive definition generator at a limit ordinal. (Contributed by NM, 16-Nov-2014)