開かい被ひ覆ふく

noun

open cover

In topology, a collection of open sets whose union contains a given space or subset.

• コンパクト空くう間かんの任にん意いの開かい被ひ覆ふくは有ゆう限げん部ぶ分ぶん被ひ覆ふくを持もつ。

  Any open cover of a compact space has a finite subcover.