for n being Nat
for f being FinSequence of (TOP-REAL n)
for i being Nat holds LSeg (f,i) c= L~ f