La última es una definición "recursiva".