for g being Function
for x being set st dom g = {x} holds
g = x .--> (g . x)