Ang mga pormal na depinisyon ng mga punsiyon ay nagbibigay ng hanay ng mga input ( sakop o domain ) , hanay ng pinares na input at output at isang hanay na tinatawag na codomain kung saan ang mga output ay itinakdang mahuhulog.
