theorem Th3: :: JORDAN21:3

for s2, t being Real
for P being Subset of (TOP-REAL 2) st P = { |[s,t]| where s is Real : s < s2 } holds
P is convex