A concept closely related to causality is enablement.
it can be defined as follows: (∀ e 1 , e 2 )enable(e 1 , e 2 ) ≡ cause(not(e 1 ), not(e 2 )) e 1 enables e 2 if e 1 not happening will cause e 2 not to happen.