for f being constant non empty Function ex y being object st
for x being object st x in dom f holds
f . x = y