[[Fájl:Surjective composition.svg|frame|Szürjektív leképezésszorzat: a szorzat első tényezőjének nem kell szürjektívnek lennie]]
|}
A [[matematika|matematikában]] '''ráképezésnek''' vagy '''szürjekciónak''', illetve '''szürjektív (szuperjektív, lefedő) leképezésnek''' vagy '''szürjektív (szuperjektív, lefedő) függvénynek''' nevezzük azokat a [[leképezés]]eket, illetve [[Függvény (matematika)|függvényeket]], amelyeknél a leképezés [függvény] [[értékkészlet]]e (képhalmaza) megegyezik a leképezés [függvény] értéktartományávalérkezési halmazával, azaz egy <math>\phi : A \to B </math> leképezés [függvény] pontosan akkor ráképezés, ha minden <math>b \in B</math> elemnek létezik őse a <math>\phi</math> leképezés [függvény] mellett.
