Ang isang patakaran ng pagtutugma ay binubuo ng pagtatalaga ng isang natatanging elemento ng isang tiyak na hanay sa bawat natatanging elemento ng isa pang hanay. Ang konseptong ito ay madalas na ginagamit kapag nagtatrabaho sa mga pag- andar sa matematika.
Kapag tinukoy ang isang pag-andar sa matematika, kung ano ang ginagawa ay upang maitaguyod ang mga paraan sa pamamagitan ng kung saan dapat gawin ang mga sulat sa pagitan ng dalawang set. Ang pagpapaandar mismo ay kumikilos bilang isang patakaran sa pagtutugma. Sa madaling salita, ang pagkalkula ng isang function ay binubuo ng pagtuklas kung ano ang pangkalahatang sulatin na umiiral sa isang hanay na may paggalang sa isa pa.
Maaari nating makilala sa pagitan ng dalawang malalaking klase ng mga patakaran sa pagsusulatan. Ang isang-sa-isang sulat ay nagpapahiwatig na ang bawat elemento ng set na kilala bilang Domain ay tumutugma sa isang solong elemento ng isang tinatawag na Codomain. Ang isang-sa-isang sulat, sa kabilang banda, ay ipinapalagay na ang kabaligtaran na sulat ay natatangi din (iyon ay, ang bawat elemento ng Codomain ay tumutugma sa isang solong elemento ng Domain).
Mula sa mga unang pangunahing kahulugan na ito ay maaaring maibawas na para sa isang liham upang maging isa-sa-isa dapat din itong natatangi. Sa kabilang banda, dapat itong banggitin na hindi palaging isang imahe ay tumutugma sa bawat isa sa mga elemento ng unang hanay, o ang mga nasa pangalawa ay may pinagmulan.
Ang pag-iisip ng ilang sandali tungkol sa teorya ng mga set, ang graphic na representasyon ng lahat ng posibleng mga sulat sa pagitan ng dalawang set (domain at codomain) ay nagbibigay sa amin ng dalawa pa: iyon ng mga univocal correspondences (na maaari nating tawagan A) at ng biunivocal (B). Sa huling tala na ito sa isang Venn diagram (classical na paraan upang set lagay ng lupa, sa pangkalahatan na may mga lupon o ovals akip ang mga elemento ng bawat hanay), ito ay malinaw na katibayan na B ay isang subset ng isang.
Halimbawa: kumuha tayo ng isang set A, na binubuo ng 3, 4 at 5, at isang set B, na binubuo ng 9, 12 at 15. Ang sulat sa pagitan ng dalawa ay tatlong beses. Sa ganitong paraan, pinapayagan ang panuntunan sa pagsusulat upang maiugnay ang bawat elemento ng Domain (itakda A) sa isang elemento ng Codomain (itakda ang B).
Ngunit ang mga patakaran ng pagsusulatan ay hindi limitado sa dalawang posibilidad na ito; halimbawa, ang hindi natatangi ay ibinibigay kung mayroong hindi bababa sa isang elemento ng unang hanay para sa kung saan mayroong dalawa o higit pang mga imahe. Ang nabanggit na halimbawa ay hindi maglilingkod upang maunawaan ang sitwasyong ito, dahil ang bawat bilang ay tumutugma lamang sa isang triple; Ngunit, kung pinag-uusapan natin ang isang pangkat ng domain ng mga tao at isang codomain ng isang bansa, at iniuugnay natin ang mga ito ayon sa mga bansa na binisita ng bawat tao, malamang na ang ilan ay hindi kailanman naglakbay, na ang iba ay napunta lamang sa isa at na ang iba ay may kilala higit sa isa.
Ang isang-sa-isang sulat , hindi isa-sa-isa, sa kabilang banda, ay isa kung saan ang bawat elemento ng domain ay tumutugma sa isang solong imahe, ngunit hindi ito nangyayari sa kabaligtaran ng direksyon. Kung wala sa mga tao sa nakaraang halimbawa ang naglalakbay sa higit sa isang bansa, ngunit dalawa o higit pa sa kanila ang bumisita sa parehong bansa, kung gayon ang bansa ay may dalawa o higit pang mga pinagmulan.
Kapag nagtataguyod ng isang patakaran sa pagsusulatan, dapat nating isaalang-alang ang iba't ibang mga elemento at konsepto. Ang isa sa mga ito ay ang saklaw, na tumutukoy sa hanay ng mga posibleng halaga para sa umaasang variable, iyon ay, ang isa na nakasalalay sa isang napili sa domain.