Physics Lournal

Powered by 🌱Roam Garden

Clock Condition

For any events a,b:a, b: ifβ€…β€Šaβˆ’>β€…β€Šb,β€…β€Šthenβ€…β€ŠCi⟨aβŸ©β‰ΌCi⟨b⟩if\; a ->\; b,\; then\; C_i\langle a \rangle\preccurlyeq C_i\langle b \rangle

a,b,βˆ£β€…β€ŠCi⟨a⟩>Ci⟨b⟩a, b, |\; C_i\langle a \rangle \gt C_i\langle b \rangle

If a implies b (or if b can be derived from a), then the Clock Condition of event a should should be lt || gt, depending on your point of view, of event b.