Ang punsiyon ay isang espesyal na kaso ng mas pangkalahatang matematikal na konseptong relasyon ( ugnayan ) kung saan ang restrtiksiyon ang bawat elemento ng domain ay lumilitaw na unang elemento sa isa at tanging isang isinaayos na pares lamang inalis.
