>>60
補題
Xを正規空間とし、GをXの局所有限な開被覆族とする。このときXのある開被覆族Hがあって、各g∈Gに対し、あるh∈Hがあって、hの閉包⊂g、となる。