位相空間Sの部分集合系\mathfrak{U}が有限個の集合からなるとき、\mathfrak{U}をSの有限被覆という