Kasakop

Sa matematika, ang kasakop (Ingles: codomain), kodominyo (mula Kastila codominio), o ang pangkat ng patutunguhan (Ingles: set of destination) ng isang bunin ay ang pangkat ng mga halagang posibleng ilabas ng bunin na iyon. Ito ang pangkat na  sa notasyong . Minsan, ginagamit ang salitang "saklaw" para tukuyin ang kasakop o imahe ng isang bunin. 

Bahagi ng bunin na  ang isang kasakop kung binigyang-kahulugan ang  bilang isang triple na , kung saan  ang sakop ng ,  ang kasakop nito, at  naman ang grap nito. Ang pangkat ng lahat ng mga elemento ng , kung saan saklaw ng  ang lahat ng mga elemento ng sakop na , ay tinatawag na imahe ng . Ang imahe ng isang bunin ay isang subpangkat ng kasakop nito, kaya maaaring hindi magkapareho ang dalawang ito. Ibig sabihin, ang bunin na hindi sobrehektibo ay may mga elemento na  sa kasakop nito, kaya walang sagot o solusyon sa tumbasan na . 

Samantala, hindi bahagi ng bunin na  ang isang kasakop kung binigyang-kahulugan lamang bilang isang grap ang . Halimbawa, sa teorya ng pangkat, ayos lang na payagan ang sakop ng isang bunin na maging isang ganap na klase na , kung saan walang pormal na triple na . Sa mga ganitong kaso, walang kasakop ang mga bunin na ito. Gayunpaman, may mga gumagamit pa rin nito matapos magpakilala ng isang bunin sa anyong .

Sanggunian 

Mga konsepto ng teorya ng pangkat
Mga punsiyon at pagmamapa