theorem Th12: :: JORDAN1:17

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