Nuprl Definition : bag-combine
⋃x∈bs.f[x] == bag-union(bag-map(λx.f[x];bs))
Definitions occuring in Statement :
bag-union: bag-union(bbs),
bag-map: bag-map(f;bs),
lambda: λx.A[x]
Definitions occuring in definition :
bag-union: bag-union(bbs),
bag-map: bag-map(f;bs),
lambda: λx.A[x]
FDL editor aliases :
bag-combine
Latex:
\mcup{}x\mmember{}bs.f[x] == bag-union(bag-map(\mlambda{}x.f[x];bs))
Date html generated:
2016_05_15-PM-02_27_58
Last ObjectModification:
2015_09_23-AM-07_39_09
Theory : bags
Home
Index