[quote=&quot;Massimo Gobbino&quot;:2b5r862g]...
Eheh, qui la burocrazia davvero colpisce <!-- s:shock: --><img src="{SMILIES_PATH}/icon_eek.gif" alt=":shock:" title="Shocked" /><!-- s:shock: -->  <!-- s:shock: --><img src="{SMILIES_PATH}/icon_eek.gif" alt=":shock:" title="Shocked" /><!-- s:shock: --> . Se A è vuoto e B non lo è, allora esiste una funzione da A in B iniettiva (quale?), ma non esiste nessuna funzione da B in A surgettiva (perché?). <!-- s8) --><img src="{SMILIES_PATH}/icon_cool.gif" alt="8)" title="Cool" /><!-- s8) -->[/quote:2b5r862g]

forse perché la definizione rigorosa:
[latex:2b5r862g]\forall a \in A \enspace \exists ! b \in B : &#40;a,b&#41; \subseteq A \times B[/latex:2b5r862g]
regge se A è vuoto e B non lo è 
In tal caso l’unica f iniettiva dovrebbe essere la “funzione vuota” [latex:2b5r862g]\emptyset[/latex:2b5r862g]
mentre da B a A non funziona perché fallisce il &quot;[latex:2b5r862g]\exists ![/latex:2b5r862g]&quot;  <!-- s:?: --><img src="{SMILIES_PATH}/icon_question.gif" alt=":?:" title="Question" /><!-- s:?: -->