theorem :: FUNCT_2:46

for Q, Y being set
for f being Function of {},Y holds f " Q = {} ;