Nuprl Definition : eclass-events
eclass-events(es;X;L) == filter(λe.e ∈b X;L)
Definitions occuring in Statement :
in-eclass: e ∈b X,
filter: filter(P;l),
lambda: λx.A[x]
FDL editor aliases :
eclass-events
Latex:
eclass-events(es;X;L) == filter(\mlambda{}e.e \mmember{}\msubb{} X;L)
Date html generated:
2016_05_16-PM-11_00_41
Last ObjectModification:
2012_02_25-PM-01_52_09
Theory : event-ordering
Home
Index