Inducción

Este documento presenta las ideas básicas de Conjuntos Inductivos y cómo aprovechar la estructura inductiva de los elementos de esos conjuntos para probar propiedades sobre los mismos.