Strong causality

Strong causality means that every event has arbitrarily small neighborhoods which no causal curve can leave and then re-enter. Stable causality implies strong causality.

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