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