fns1#image vs. fns1#range

[lars-hellstrom]

From the fns1 content dictionary, it is not clear which of these is the codomain of a function and which is the range/image of a function. The description of fns1#range states:

It should be noted that this is not necessarily equal to the image, it is merely required to contain the image.

Then comes a CMP, which states:

the range of f is a subset of the image of f

The following FMP agrees with the CMP, but the description says the opposite.

[JamesHDavenport]

Humm: looks like a mess. In particular MathML3 disagrees somewhat as well. I need to look at this.

[car222222]

Did anyone look at MathML yet?

[kohlhase]

This is also discussed in OpenMath/OM3#130, which should be consulted.