However, X will be T1 if and only if the order is discrete (i.e. agrees with equality).
但是，X 将是 T1 的，当且仅当这个次序是离散的（一致于相等性）。