topologia:defcompacto