Nuprl Definition : bag-sum

bag-sum(ba;x.f[x]) ==  accumulate (with value s and list item x): f[x] + sover list:  bawith starting value: 0)


Definitions occuring in Statement :  list_accum: list_accum,  add: n + m,  natural_number: $n
Definitions occuring in definition :  list_accum: list_accum,  add: n + m,  natural_number: $n
FDL editor aliases :  bag-sum
Latex:
bag-sum(ba;x.f[x])  ==
    accumulate  (with  value  s  and  list  item  x):
      f[x]  +  s
    over  list:
        ba
    with  starting  value:
      0)


Date html generated: 2016_05_15-PM-02_29_24
Last ObjectModification: 2015_09_23-AM-07_39_14

Theory : bags


Home Index