for X, x being set
for f being Function st f is X * -valued holds
f . x in X *