贝尔空间

一个 拓扑空间 ，其中 的每个“第一范畴”子集都具有空内部。一个与完备度量空间同胚的拓扑空间是一个贝尔空间。