Every open covering of X has a finite sub-covering.

• 每个开覆盖都有一个有限子覆盖。