Рекурсивное определение

РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ — определение, позволяющее на основе конечного множества исходных элементов путем применения конечного числа операций построить бесконечно много новых элементов; способ спецификации предиката с бесконечной экстенсией.