theorem :: FINSEQ_3:66

for p being FinSequence
for A being set holds rng (p - A) c= rng p