万有空间

设X是巴拿赫空间，如果任何可分的巴拿赫空间都等距同构于X的某个闭子空间，则X称为万有空间，亦称X具有万有性。万有空间是一类特殊拓扑空间。