Esto significa que, en efecto, es el mínimo conjunto inductivo.