Definición y propiedades de los conjuntos compactos (como la compacidad del mapeo de cierre)