Alexandrov intervals and manifold structure

For an irreflexive transitive relation $\ll$, define

The smallest topology containing these intervals always exists. Whether the intervals themselves form a basis is a separate question. Here “Alexandrov topology” refers to this chronological construction, not the unrelated arbitrary-intersection convention in general topology.