such that both and are open for all subsets .

Here the base of open sets for the topology are sets of the form for some points .

This topology coincides with the manifold topology if and only if the manifold is strongly causal but it is coarser in general.

Note that in mathematics, an Alexandrov topology on a partial order is usually taken to be the coarsest topology in which only the