为何提出"开覆盖定理"而不是"闭覆盖定理"?