Fungsi Surjektif

Fungsi surjektif (surjective function) atau fungsi pada (onto) adalah fungsi yang setiap anggota kodomainnya memiliki setidaknya satu pasangan pada anggota domain (range = kodomain).
Secara definisi:
Jika fungsi f: X → Y, maka f dikatakan surjektif jika