Ang isang tiyak na depinisyon ng isang punsiyon ay isang isinaayos na triple ng mga hanay na isinulat na ( X , Y , F ) kung saan ang X ang sakop o domain , ang Y ang codomain , at ang F ang hanayng mga isinaayos na pares ( a , b ).
