for D being non empty set
for d being XFinSequence of D holds rng d = rng (XFS2FS d) by AFINSQ_1:97;