In the Book "The Geometry of Minkowski spacetime" by Naber, he says we may assume the following:
Any two admissible observers agree on the temporal order of any two events on the worldline of a photon, i.e., if two such events have coordinates $(x^1, x^2, x^3, x^4)$ and $(x^1_0, x^2_0, x^3_0, x^4_0)$ in $S$ and $(\hat{x}^1, \hat{x}^2, \hat{x}^3, \hat{x}^4)$ and $(\hat{x}^1_0, \hat{x}^2_0, \hat{x}^3_0, \hat{x}^4_0)$ in $\hat{S}$ then $x^4 - x^4_0$ and $\hat{x}^4 - \hat{x}^4_0$ have the same sign.
i.e. that two observers agree upon the ordering of events in spacetime. Why is he making this assumption? Isn't the whole point of SR to say that simultaneity is relative?