Nuprl Definition : bag-subtract
bag-subtract(eq;bs;as) == bag-accum(r,a.bag-drop(eq;r;a);bs;as)
Definitions occuring in Statement :
bag-drop: bag-drop(eq;bs;a),
bag-accum: bag-accum(v,x.f[v; x];init;bs)
Definitions occuring in definition :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
bag-drop: bag-drop(eq;bs;a)
FDL editor aliases :
bag-subtract
Latex:
bag-subtract(eq;bs;as) == bag-accum(r,a.bag-drop(eq;r;a);bs;as)
Date html generated:
2016_05_15-PM-08_05_24
Last ObjectModification:
2015_09_23-AM-08_20_51
Theory : bags_2
Home
Index