for f being INT -valued constant non empty Function ex r being Integer st
for x being object st x in dom f holds
f . x = r