What are the semantics for defined functions?

[Broes De Cat]

f(x)=1 <- Q(f(x))

depends on the unnesting!

[Marc Denecker]

Nice example. Although unpleasant too. :-)

This is because a definition of a function is a definition of a partial function, and then such ambiguities arise.

Of course, there has to be a specification what our system will do. But what it will do is does not matter. Such definitions will not be written except as error.

[Broes De Cat]

Will be resolved in next language specification.