The Alexandrov topology on a partially ordered set is T0 but will not be T1 unless the order is discrete (agrees with equality).
在偏序集合上的Alexandrov拓扑是 T0 但不是 T1 除非这个次序是离散的（一致于相等性）。