for X, Y being set
for f being Function holds (Y |` f) | X tolerates f