Nuprl Definition : int-bag-sum
Σ(b) == Σ(x∈b). x
Definitions occuring in Statement :
bag-summation: Σ(x∈b). f[x],
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
bag-summation: Σ(x∈b). f[x],
natural_number: $n,
lambda: λx.A[x],
add: n + m
FDL editor aliases :
int-bag-sum
Latex:
\mSigma{}(b) == \mSigma{}(x\mmember{}b). x
Date html generated:
2016_05_15-PM-02_33_21
Last ObjectModification:
2015_09_23-AM-07_39_31
Theory : bags
Home
Index