Nuprl Definition : es-prior-interval-vals

X(e1, e2) == mapfilter(

e.X(e);

e.e

X;(e1, e2))

Definitions : mapfilter: mapfilter(f;P;L), eclass-val: X(e), lambda:

x.A[x], in-eclass: e

X, es-open-interval: (e, e')
FDL editor aliases : es-prior-interval-vals

X(e1, e2) == mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;(e1, e2)) Date html generated: 2010_08_27-PM-02_10_58 Last ObjectModification: 2010_01_25-PM-11_22_45 Home Index