任意の開被覆に対して、局所有限な細分被覆がとれること。
これを収束の言葉でいえばいいわけだが…。