每个开覆盖都有一个有限子覆盖。
Every open covering of X has a finite sub-covering.
youdao
To cover with or as if with fleece.
应用推荐
模块上移
模块下移
不移动