Stuart Cook wrote:
> <[EMAIL PROTECTED]> wrote:
>> We've called it "injective maps". Does surjectivity make sense a all?
>
> In my mind, surjectivity is the property that each key in the
> right-hand map is a value in the left-hand map (and vice-versa). This
Still, injectivity ("one-to-one") is the only interesting property. The
inverse (on the range) is then injective, too.
Christian
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe