theorem Th21: :: COUSIN:24

for a, b being Real
for S being Subset of (Euclid 1) st a <= b & S = product <*[.a,b.]*> holds
S is bounded