开覆盖

一组包含拓扑空间X的开子集叫A包含于X的一个开覆盖。在开覆盖的基础上衍生出了子覆盖等概念，进而引出紧致性的定义。