Nuprl Definition : bag-summation
Σ(x∈b). f[x] == bag-accum(c,x.add f[x] c;zero;b)
Definitions occuring in Statement :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
apply: f a
Definitions occuring in definition :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
apply: f a
FDL editor aliases :
bag-summation
Latex:
\mSigma{}(x\mmember{}b). f[x] == bag-accum(c,x.add f[x] c;zero;b)
Date html generated:
2016_05_15-PM-02_30_50
Last ObjectModification:
2015_09_23-AM-07_39_26
Theory : bags
Home
Index