for f being FinSequence of (TOP-REAL 2)
for i being Nat st f is s.n.c. holds
f | i is s.n.c.