Spacetime topology from causality

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent of geometry and differentiable structure.