Suatu relasi disebut sebagai fungsi surjektif jika relasi tersebut adalah fungsi yang total kanan. Dengan kata lain, ketiga sifat ini harus dimiliki agar bisa disebut fungsi surjektif:

  • Total kiri
  • Unik kanan
  • Total kanan

Surjektif tidak berarti bahwa kodomain harus bercabang.