Is the topology generated by the open intervals of a partially ordered set necessarily T_0? Let $X$ denote a set and consider a collection $C \subseteq \mathcal{P}X$. Let $\mathcal{T}$ denote the set of all topologies $T$ on $X$ such that $C \subseteq T$. Then $\bigcap \mathcal{T}$ is a topology on $X$. In particular, its the least topology on $X$ that includes $C$. So every collection $C \subseteq \mathcal{P}X$ generates a topology in this way.
Now let $(P,<)$ denote an (irreflexive) partially ordered set. Lets define that $(a,b) = \{x \in P | a < x < b\}$. Let $C=\{(a,b)|a,b \in P\}$. Then $C$ generates a topology in the sense outlined above. Is $C$ necessarily $T_0$?
More ambitiously, let $(P,\precsim)$ denote a quasiorder, and define a relation $<$ by asserting that $a<b$ precisely when $a \precsim b$ but not $b \precsim a$. Then $(P,<)$ is an (irreflexive) partially ordered set. Now repeat the above paragraph: define $(a,b) = \{x \in P | a < x < b\},$ etc. Is it true that the topology generated in this way is $T_0$ if and only if $\precsim$ is in fact a partial order?
Intuitively, the answer is "yes," because a partially ordered set can be obtained from a quasiordered set by taking a quotient. And the Kolmogorov quotient of a topological space is always $T_0$. So intuitively, we've already taken a quotient, and shouldn't have to take another quotient.
 A: What happens when you apply this to the following poset:
   a
 /   \
b     c
 \   /
   d


Suppose that $(P,<)$ is a partially ordered set (irreflexive and transitive) such that the order topology is $T_0$, what can we conclude on the structure of $P$?
It means that given two points there is an interval containing one and not the other, namely given $x,y\in P$ if there is some $z\in P$ such that $z<x,y$ then there is $z'$ such that exactly one of the following occurs, $x<z'$ or $y<z'$.
But this is still not enough, because if there are two isolated points (order-wise) then they are not contained in any such interval. So we need to require that the order itself contains no more than one point without neighbors.
But this is an ugly condition, we may lose exact bound on $T_0$-ness, but we can give the following statement:

Let $(P,<)$ is a partially order such that:

*

*For every $x$ there is some $u,v$ such that $u<x<v$; and

*For every $x,y$ if there is some $z$ such that $z<x$ and $z<y$ then there is some $z'$ such that $x<z'$ or $y<z'$ but not both.

Then the order topology on $P$ is $T_0$.

A: No. For example, let $X$ be a set with more than one element, and let $<$ be the trivial partial order: that is, $x<y$ is always false. The the induced topology is the trivial topology (that is, the only open sets are the empty set and $X$ itself) which is not $T_0$.
