Nuprl Definition : bag-restrict

(b|x) ==  [z∈b|eq x z]


Definitions occuring in Statement :  bag-filter: [x∈b|p[x]],  apply: f a
Definitions occuring in definition :  bag-filter: [x∈b|p[x]],  apply: f a
FDL editor aliases :  bag-restrict
Latex:
(b|x)  ==    [z\mmember{}b|eq  x  z]


Date html generated: 2016_05_15-PM-08_10_12
Last ObjectModification: 2015_09_23-AM-08_21_02

Theory : bags_2


Home Index