豪斯多夫空间
豪斯多夫空间的定义声称点可以由邻域分离。它蕴涵了表象上更强的东西：在豪斯多夫空间中所有成对的不相交的紧致集合都可以由邻域分离。这是紧致集合经常表现得如同点的一般规则的一个例子。