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
Tout élément de \(F\) a au moins un antécédent dans \(E\)
c'est une bijection
Tout élément de\( F\) a un unique antécédent dans \(E\)