Nuprl Definition : bag-deq-member

bag-deq-member(eq;x;b) ==  x ∈b b


Definitions occuring in Statement :  deq-member: x ∈b L
Definitions occuring in definition :  deq-member: x ∈b L
FDL editor aliases :  bag-deq-member
Latex:
bag-deq-member(eq;x;b)  ==    x  \mmember{}\msubb{}  b


Date html generated: 2016_05_15-PM-08_00_14
Last ObjectModification: 2015_09_23-AM-08_20_42

Theory : bags_2


Home Index