Bonjour. Il y a quelque chose qui me chiffonne dans cette écriture (les "..." sont volontaire, on peut les remplacer par ce qui faut). Comment peut-on définir cette "application" par la donnée d'un couple ? Car implicitement on est capable d'extraire un x et un y dans leurs ensembles respectifs, or rien ne le garantit :/ Même, quand on écrit par exemple , cela signifie implicitement que x et y sont réels, alors qu'ils ne sont nulle part quantifiés. Si cela est toléré alors on peut montrer que toute application est surjective : la preuve soit , alors et est surjective ! (je sais que c'est complètement faux d'écrire ça, c'est pour illustrer, mais c'est aussi maladroit que de commencer une phrase par "soit un couple (x,y)...".
S'agit-il d'un abus ? Si oui pourquoi on le tolère, sinon pourquoi je trouve ça bizarre ?