那么其中一个闭集具有非空的内部。
与选择公理的关系.BCT1和BCT2的证明需要选择公理的某种形式；实际上，BCT1与选择公理的一个较弱的版本——相依选择公理等价。
定理的应用.BCT1可以用来证明开映射定理、闭图像定理和一致有界原理。BCT1也表明每一个没有孤立点的完备度量空间都是不可数的。（如果"X"是一个可数的完备度量空间且没有孤立点，那么在"X"中每一个单元素集合都是无处稠密的，因此"X"在它本身内是第一纲）。特别地，这证明了所有实数所组成的集