Teoria assimatica degli insiemi (PARTE 3)

[Gianmaster08]

Considerando che in teoria degli insiemi una funzione dall’insieme A nell’insieme B è un sottoinsieme f di A×B con la proprietà che se ‹a,b› appartiene ad f e ‹a,b'› appartiene a f allora b = b'. In particolare non viene richiesto che f sia definita su tutto A; tale ulteriore proprietà viene espressa dalla condizione: per ogni a appartenente ad A, esiste un b appartenente a B(‹a,b› appartenente a f).

Esprimere in modo analogo le proprietà che f sia iniettiva e che f sia suriettiva.

Come fare?

[alberto861]

se f iniettiva allora deve soddisfare alla proprietà che se $(a,b)\in f$ e $(a',b)\in f$ allora $(a,b)=(a',b)$,per la surriettività io farei che $\forall b \in B$ $\exists a\in A$ tale che $(a,b)\in f$