Nuprl Definition : es-closed-interval-vals
X[e1;e2] == mapfilter(λe.X(e);λe.e ∈b X;[e1, e2])
Definitions occuring in Statement :
eclass-val: X(e),
in-eclass: e ∈b X,
es-interval: [e, e'],
mapfilter: mapfilter(f;P;L),
lambda: λx.A[x]
FDL editor aliases :
es-closed-interval-vals
X[e1;e2] == mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;[e1, e2])
Date html generated:
2015_07_17-PM-01_05_22
Last ObjectModification:
2012_02_25-PM-01_36_16
Home
Index