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
es-interface-sublist(X;z) == filter(\mlambda{}e.e \mmember{}\msubb{} X;z)
Date html generated:
2015_07_17-PM-00_55_35
Last ObjectModification:
2012_02_25-PM-01_29_00
Home
Index