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.
-----