for T, S being set
for f being Function of T,S
for A, B being Subset-Family of T st A c= B holds
f .: A c= f .: B