for X being non empty set
for Y being ComplexLinearSpace
for x being Element of X holds (FuncZero (X,Y)) . x = 0. Y