theorem Th27: :: TOPREALA:27

for a, b, r, s being Real st a <= b & r <= s holds
the carrier of [:(Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (r,s)):] = [:[.a,b.],[.r,s.]:]