开覆盖

开覆盖，一组包含拓扑空间X的开子集叫A包含于X的一个开覆盖。在开覆盖的基础上衍生出了子覆盖等概念，进而引出紧致性的定义。的开子集的集合称为包含于的一个开覆盖（open cover），若包含于(表示所有元素的并集)。