设S为的子集,如果的一组开集满足,那么 称为S的一个开覆盖. 如果S的任意一个开覆盖总存在一个有限的子覆盖,则称S为紧集. Heni-Borel 定理 S是紧集的充分必要条件为:它是有界闭集. 实数系的 定理 由开区间组成的[a,b]的开覆盖存在一个有限子覆盖.