for i being Nat
for f being FinSequence of the carrier of (TOP-REAL 2) holds
( not f is special or LSeg (f,i) is vertical or LSeg (f,i) is horizontal )