Nuprl Definition : bag-product
Πx ∈ b. f[x] == Σ(x∈b). f[x]
Wellformedness Lemmas :
bag-product_wf
Definitions occuring in Statement :
bag-summation: Σ(x∈b). f[x]
Definitions occuring in definition :
bag-summation: Σ(x∈b). f[x]
FDL editor aliases :
bag-prod
Latex:
\mPi{}x \mmember{} b. f[x] == \mSigma{}(x\mmember{}b). f[x]
Date html generated:
2016_05_15-PM-02_33_04
Last ObjectModification:
2015_09_23-AM-07_39_27
Theory : bags
Home
Index