c'est une application
Tout élément de \(E\) a une image dans \(F\)
c'est une injection
Tout élément de \(F\) a au plus un antécédent dans \(E\)
c'est une surjection
Par exemple, \(4\) n'a pas d'antécédent dans \(E\)
c'est une bijection
Ce n'est pas une surjection