Nuprl Definition : eclass
EClass(A[eo; e]) == eo:EO+(Info) ⟶ e:E ⟶ bag(A[eo; e])
Definitions occuring in Statement :
event-ordering+: EO+(Info),
es-E: E,
function: x:A ⟶ B[x],
bag: bag(T)
FDL editor aliases :
eclass
Latex:
EClass(A[eo; e]) == eo:EO+(Info) {}\mrightarrow{} e:E {}\mrightarrow{} bag(A[eo; e])
Date html generated:
2016_05_16-PM-01_26_05
Last ObjectModification:
2012_02_25-PM-01_11_29
Theory : event-ordering
Home
Index