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