In de
wiskunde is een
surjectie of
surjectieve afbeelding van een
verzameling A in een verzameling
B een
afbeelding, waarbij elk
element van
B als
beeld optreedt. Het
bereik van een surjectieve afbeelding is dus gelijk aan het
codomein. Men zegt in zo'n geval dat de afbeelding
A op B afbeeldt, en noemt de afbeelding kortweg
op.