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

[d p chang]

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