Nuprl Definition : es-causle

e c≤ e' ==  (e < e') ∨ (e = e' ∈ E)


Definitions occuring in Statement :  es-causl: (e < e'),  es-E: E,  or: P ∨ Q,  equal: s = t ∈ T
FDL editor aliases :  es-causle es-causle
Latex:
e  c\mleq{}  e'  ==    (e  <  e')  \mvee{}  (e  =  e')


Date html generated: 2016_05_16-AM-09_19_14
Last ObjectModification: 2013_03_25-PM-01_46_12

Theory : new!event-ordering


Home Index