for Y being set
for x being object
for f being Function of {x},Y st Y <> {} holds
f . x in Y