for D being set
for p being XFinSequence of D holds rng p = rng (XFS2FS p)