"(Definición por inducción)"