theorem Th13: :: JORDAN1:19

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