for A, B, x being set
for f being Function st x in A & f in Funcs (A,B) holds
f . x in B