for A, B being set
for f being Function st A c= dom f & f .: A c= B holds
A c= f " B