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