:: deftheorem Def1 defines pointwise_bounded COMPL_SP:def 1 :
for M being non empty MetrStruct
for S being SetSequence of M holds
( S is pointwise_bounded iff for i being Nat holds S . i is bounded );