Nuprl Definition : bag-combine-restrict
bag-combine-restrict(b;x.f[x]) == ⋃x∈b.f[x]
Definitions occuring in Statement :
bag-combine: ⋃x∈bs.f[x]
Definitions occuring in definition :
bag-combine: ⋃x∈bs.f[x]
FDL editor aliases :
bag-combine-restrict
Latex:
bag-combine-restrict(b;x.f[x]) == \mcup{}x\mmember{}b.f[x]
Date html generated:
2016_05_15-PM-02_48_55
Last ObjectModification:
2015_09_23-AM-07_40_21
Theory : bags
Home
Index