Nuprl Definition : bag-co-restrict
(b|¬x) == [z∈b|¬b(eq x z)]
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-co-restrict
Latex:
(b|\mneg{}x) == [z\mmember{}b|\mneg{}\msubb{}(eq x z)]
Date html generated:
2016_05_15-PM-08_10_27
Last ObjectModification:
2015_09_23-AM-08_21_03
Theory : bags_2
Home
Index