theorem Th8: :: JORDAN1:9

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