Nuprl Definition : bagp
T Bag+ == {b:bag(T)| 0 < #(b)}
Definitions occuring in Statement :
bag-size: #(bs),
bag: bag(T),
less_than: a < b,
set: {x:A| B[x]} ,
natural_number: $n
Definitions occuring in definition :
set: {x:A| B[x]} ,
bag: bag(T),
less_than: a < b,
natural_number: $n,
bag-size: #(bs)
FDL editor aliases :
bagp
Latex:
T Bag\msupplus{} == \{b:bag(T)| 0 < \#(b)\}
Date html generated:
2016_05_15-PM-02_26_21
Last ObjectModification:
2015_09_23-AM-07_39_06
Theory : bags
Home
Index