Así, la definición recursiva queda: