for Q being Subset of (TOP-REAL 2)
for f being FinSequence of the carrier of (TOP-REAL 2) st Q = union { (LSeg (f,i)) where i is Nat : ( 1 <= i & i + 1 <= len f ) } holds
Q is closed