Surjection

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une application ou morphisme f : X → Y dont l'image est égale au codomaine : pour tout y de Y il existe x dans X tel que f(x)=y.