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
e  c\mleq{}  e'  ==    (e  <  e')  \mvee{}  (e  =  e')
Date html generated:
2015_07_17-AM-08_36_51
Last ObjectModification:
2013_03_25-PM-01_46_12
Home
Index