が成立するとき、formula_95はを被覆するといい、特にformula_95の元が全て開集合であるとき、formula_95をの開被覆()という。