 Future-distinguishing spacetime

A spacetime is future-distinguishing when $I^{+}(p)=I^{+}(q)$ implies $p=q$. Every strongly causal spacetime is future-distinguishing.