Sea "L" una lista infinita cualquiera de conjuntos de enteros positivos: