Para ello, nos basaremos en la definición formal por inducción descrita anteriormente.