Nuprl Definition : es-causle

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



Definitions occuring in Statement :  es-causl: (e < e') es-E: E or: P ∨ Q equal: 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