Procedemos ahora por inducción sobre formula_116 para comprobar que todos los conjuntos formula_111 escritos de esta manera -es decir, finitos- son acotados: