Nuprl Definition : es-p-le

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


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


Date html generated: 2016_05_16-AM-10_30_02
Last ObjectModification: 2013_03_25-PM-01_58_23

Theory : new!event-ordering


Home Index