for O being Ordinal
for L being non empty ZeroStr
for s being Series of O,L
for perm being Permutation of O holds rng (s permuted_by perm) = rng s