Ejemplos formales de conjuntos finitos.