is simultaneous with the event

′ at

. This definition of simultaneity in the local time-order at

is independent of any assumption of absolute rest for

provided that the electromagnetic formulae for relativity are adopted. The local time-order at