Nuprl Definition : bag-bind

bag-bind(bs;f) ==  bag-union(bag-map(f;bs))


Definitions occuring in Statement :  bag-union: bag-union(bbs),  bag-map: bag-map(f;bs)
Definitions occuring in definition :  bag-union: bag-union(bbs),  bag-map: bag-map(f;bs)
FDL editor aliases :  bag-bind
Latex:
bag-bind(bs;f)  ==    bag-union(bag-map(f;bs))


Date html generated: 2016_05_15-PM-03_12_39
Last ObjectModification: 2015_09_23-AM-07_42_39

Theory : bags


Home Index