You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
20 CAPÍTULO 3. RELACIONES Y FUNCIONES<br />
Teoremas<br />
1. ∀f ((f es inyectiva ) ↔ (f es una función ∧ f −1 es una función))<br />
2. ∀fxy (((f es inyectiva) ∧ (x, y ∈ Dom f)) → ((f(x) =f(y) → (x = y)))<br />
3. ∀fg ((f es inyectiva ∧ g es inyectiva ) → (f ◦ g es inyectiva))