Cubrimiento

Sea X un espacio topológico, y A un subconjunto de X. Un cubrimiento de A es cualquier familia de conjuntos tal que su unión contiene a A. Si los conjuntos de dicha familia son abiertos, se tiene un cubrimiento por abiertos del conjunto A (ver también: compacto).