for X, Y being non empty set
for f being Function of X,Y
for A being Element of Fin X st f .: A = {} holds
A = {}