for f being Function
for Y being set holds Y |` f = f | (dom (Y |` f))