for f being Function st f = {} holds
f " = {}