Dari selimut buka bagi \(K_1\cup\cdots\cup K_n\text{,}\) pilih subselimut berhingga untuk setiap \(K_i\text{.}\) Gabungan dari sejumlah berhingga keluarga berhingga itu merupakan subselimut berhingga bagi seluruh gabungan.