Jabarkan Definisi dari Fungsi surjektif

Fungsi surjektif merupakan fungsi dengan bayangannya sama dengan domainnya. Sebuah fungsi  dengan domain  dan kodomain  merupakan surjektif jika, untuk setiap  di , setidaknya ada satu buah anggota  di  dengan .

Secara matematis, dapat dituliskan bahwa jika , maka  dikatakan surjektif atau pada jika dan hanya jika