设X是拓扑空间，令P={A：A是X的具有性质P的子集)，如果对于X的任意邻域指派φ，都存在A∈P，使得X=∪{φ(x)：z∈A}，则称X是与性质P对偶的空间.......