Jika tidak, indekskan titik yang belum tertutupi oleh semua subkeluarga berhingga \(F\subseteq\mathcal U\text{.}\)