for L being Sequence
for A being Ordinal holds L | (Rank A) is Sequence