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