Nuprl Definition : bag-filter

[x∈b|p[x]] ==  filter(λx.p[x];b)


Definitions occuring in Statement :  filter: filter(P;l),  lambda: λx.A[x]
Definitions occuring in definition :  filter: filter(P;l),  lambda: λx.A[x]
FDL editor aliases :  bag-filter
Latex:
[x\mmember{}b|p[x]]  ==    filter(\mlambda{}x.p[x];b)


Date html generated: 2016_05_15-PM-02_22_56
Last ObjectModification: 2015_09_23-AM-07_39_02

Theory : bags


Home Index