Nuprl Definition : bag-maximal?
bag-maximal?(bg;x;R) == bag-accum(b,y.b ∧b R[x;y];tt;bg)
Definitions occuring in Statement :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
band: p ∧b q,
btrue: tt,
so_apply: x[s1;s2]
Definitions occuring in definition :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
band: p ∧b q,
so_apply: x[s1;s2],
btrue: tt
FDL editor aliases :
bag-maximal?
Latex:
bag-maximal?(bg;x;R) == bag-accum(b,y.b \mwedge{}\msubb{} R[x;y];tt;bg)
Date html generated:
2016_05_15-PM-02_30_22
Last ObjectModification:
2015_09_23-AM-07_39_19
Theory : bags
Home
Index