Bonjour,
en prenant comme définition d'une application de E dans F un triplet (E,T,F), avec T le graphe de l'application :
apparemment il existe bien une application "vide" .
Je me demandais si on pouvait dire par exemple que cette application était bijective, surjective, injective, et en fait si on pouvait dire tout et n'importe quoi sur elle ?
En fait, je voulais savoir comment se comportent les énoncés du type :
ou encore
déjà si ça a un sens, et ensuite, comment ça fonctionne ?
Merci.
-----