for FT being non empty RelStr
for g being FinSequence of FT
for k being Nat st g is continuous & 1 <= k holds
g | k is continuous