Suatu fungsi bersifat surjektif (merupakan surjeksi atau fungsi pada) jika setiap elemen kodomain merupakan citra dari paling sedikit satu elemen domain.