Nuprl Definition : bag-mapfilter

bag-mapfilter(f;P;bs) ==  bag-map(f;[x∈bs|P x])


Definitions occuring in Statement :  bag-filter: [x∈b|p[x]],  bag-map: bag-map(f;bs),  apply: f a
Definitions occuring in definition :  bag-map: bag-map(f;bs),  bag-filter: [x∈b|p[x]],  apply: f a
FDL editor aliases :  bag-mapfilter
Latex:
bag-mapfilter(f;P;bs)  ==    bag-map(f;[x\mmember{}bs|P  x])


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

Theory : bags


Home Index