Se puede definir por inducción como sigue.