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