theorem Th2: :: JORDAN21:2

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