c'est une application
Tout élément de \(E\) a une image
c'est une injection
Tout élément de \(F\) a au plus un antécédent
c'est une surjection
Tout élément de \(F\) a au moins un antécédent
c'est une bijection
Tout élément de \(F\) a un unique antécédent