for f being FinSequence of (TOP-REAL 2)
for i being Nat holds L~ (f | i) c= L~ f