Nuprl Definition : bag-remove
bs - x == [y∈bs|¬b(eq x y)]
Definitions occuring in Statement :
bag-filter: [x∈b|p[x]],
bnot: ¬bb,
apply: f a
Definitions occuring in definition :
bag-filter: [x∈b|p[x]],
bnot: ¬bb,
apply: f a
FDL editor aliases :
bag-remove
Latex:
bs - x == [y\mmember{}bs|\mneg{}\msubb{}(eq x y)]
Date html generated:
2016_05_15-PM-08_03_13
Last ObjectModification:
2015_09_23-AM-08_20_45
Theory : bags_2
Home
Index