:: deftheorem Def2 defines bounded SIMPLEX2:def 2 :
for M being non empty Reflexive MetrStruct
for K being SimplicialComplexStr holds
( K is M bounded iff ex r being Real st
for A being Subset of M st A in the topology of K holds
( A is bounded & diameter A <= r ) );