(1)直積空間 "x" の開集合族formula_1が次の仮定を満たすとすれば、formula_1は "x" を被覆しない、つまり"命題2" が満たされることを示す。