区分性。就是说，"x"和"y"是拓扑可区分的，当且仅当 "x" ≤ "y"并且 "y" ≤ "x"。因此，≤的反对称完全就是T分离公理：如果"x"和"y"是不可区分的，则"x" = "y"。在这种情况下它证实了特殊化序的说法。在另一方面，特殊化预序的对称等价于R分离公理："x" ≤ "y"当且仅当"x"和"y"是拓扑不可区分性的。可得出如果底层拓扑是T，则特殊化序是离散的，就是说"x" ≤ "y"当且仅当"x" = "y"。因此特殊化序对于T拓扑，特别是所有豪斯多夫空间是没有多少价值的。任何在两个拓