Fungsi surjektif

Dalam matematika, fungsi surjektif () atau dikenal sebagai fungsi pada () adalah suatu fungsi  dengan setiap anggota  dapat dipetakan ke anggota  sehingga . Dengan kata lain, setiap anggota kodomain fungsi merupakan bayangan dari setidaknya satu buah anggota domain fungsi. Anggota  tidak harus tunggal, sebab fungsi  dapat memetakan satu anggota  atau lebih ke anggota  yang sama.

Istilah surjektif dan istilah yang berkaitan seperti injektif dan bijektif pertama kali diperkenalkan Nicolas Bourbaki, nama samaran grup matematikawan berkebangsaan Prancis yang didirikan pada abad ke-20. Kata sur diambil dari bahasa Prancis, yang berarti di atas.

Definisi 
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

Referensi

Bacaan lebih lanjut 

 

Jenis fungsi
Hubungan dengan matematis
Fungsi matematika
Konsep dasar dalam teori himpunan