theorem :: SRINGS_4:7

for X, Y being set
for f being Function of X,Y
for SF1, SF2 being Subset-Family of X st SF1 c= SF2 holds
f .: SF1 c= f .: SF2