[formal-methods] Injective, Surjective, and Bijective functions

Crutcher Dunnavant crutcher at gmail.com
Fri Jun 26 15:55:33 UTC 2009


Hmm.

The book doesn't establish any property of injective or surjective which
make them defined only on sets.

On Fri, Jun 26, 2009 at 7:20 AM, d p chang <pchang at macrovision.com> wrote:

> Jason Dusek <jason.dusek at gmail.com> writes:
>
> >   The notion of injection and surjection apply specifically to sets
>
> this does include 'infinite' sets? i'm only doing the reading along from
> home, but at one point it was talking about sets in finite terms and i
> always thought of things like Z (sorry, can't find teh fancy curly
> glyph) being 'the set of integers'.
>
> \p
> ---
> Satire Should, Like a Polished Razor Keen, Wound With a Touch That's
> Scarcely Felt or Seen. - Lady Mary Wortley Montague
>



-- 
Crutcher Dunnavant <crutcher at gmail.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.noisebridge.net/pipermail/formal-methods/attachments/20090626/eb1611bd/attachment-0003.html>


More information about the formal-methods mailing list