[cfp-interest 3682] Re: "function value" and "result"

[Damian McGuckin]

On Mon, 27 Oct 2025, Damian McGuckin wrote:

> ... The 'for' clause has a qualification whose ordering is:
>
> 	domain and range

It is more strictly

 	subset-of domain and subset-of range
>
> and the second has a qualification whose ordering is
>
> 	range and domain

and likewise.

Thanks - Damian