functions

[Leonard Soicher]

Dear All,

I too vote for number 5. 

Leonard


>
>In the case of "quasi" functions, that is when <preimage_cardinality> or
><blank> is used it is not so clear what the ordering of the function
>should be. Here are some possibilities, any of them is problematic in
>one way or in another:
>
>    1 keep the original "natural" order induced by the preimages from
>      which <preimage_cardinality>-s or <blank>-s were produced by
>      "contraction".
>
>    2 in tha case of <blank>s order by <image>
>
>    3 in the case of <preimage_cardinality>-s order by
>      <preimage_cardinality>
>
>    4 in the case of <preimage_cardinality>-s order by <image>
>
>    5 for "quasi" functions there is no order defined
>
>I'd prefer 5 since that would be least in clash with the "real" function
>case. Also considered the potential use of "quasi" functions, it seems
>to me that in these cases the order can be left as the internal business
>of the end-user/application.
>