ในทางคณิตศาสตร์ถ้าเป็นเซตย่อยของแล้วแผนที่การรวม (inclusion map)คือฟังก์ชันที่ส่งแต่ละองค์ประกอบของไปยังโดยถือว่าเป็นองค์ประกอบของ${\displaystyle A}$${\displaystyle B,}$${\displaystyle \iota }$${\displaystyle x}$${\displaystyle A}$${\displaystyle x,}$${\displaystyle B:}$$${\displaystyle \iota :A\rightarrow B,\qquad \iota (x)=x.}$$

แผนที่การรวมอาจถูกเรียกว่าฟังก์ชันการรวมการแทรก [ ^{1 ] หรือ}การฉีดแบบแคนอนิก

บางครั้งจะใช้ "ลูกศรตะขอ" ( U+ 21AA ↪ ลูกศรขวาที่มีตะขอ ) ^{[ 2 ]}แทนลูกศรฟังก์ชันด้านบนเพื่อแสดงแผนที่การรวม ดังนี้: $${\displaystyle \iota :A\hookrightarrow B.}$$

(อย่างไรก็ตาม ผู้เขียนบางท่านใช้ลูกศรโค้งนี้สำหรับการฝังข้อมูล ทุกรูปแบบ )

ฟังก์ชันการฉีดนี้และฟังก์ชันการฉีดที่คล้ายคลึงกันอื่นๆ^{[ 3 ]}จากโครงสร้างย่อยบางครั้งเรียกว่าการฉีดตามธรรมชาติ

เมื่อกำหนดมอร์ฟิซึม ใดๆ ระหว่างวัตถุและหากมีแผนที่การรวมเข้าไปในโดเมนก็สามารถสร้างข้อจำกัดของ ได้ ในหลายกรณี ยังสามารถสร้างการรวมแบบแคนอนิกเข้าไปในโคโดเมนที่เรียกว่าช่วงของได้ อีกด้วย${\displaystyle f}$${\displaystyle X}$${\displaystyle Y}$${\displaystyle \iota :A\to X}$${\displaystyle X}$${\displaystyle f\circ \iota }$${\displaystyle f.}$${\displaystyle R\to Y}$${\displaystyle f.}$

แผนที่การรวมมักจะเป็นโฮโมมอร์ฟิซึมของโครงสร้างพีชคณิตดังนั้น แผนที่การรวมดังกล่าวจึงเป็นการฝังตัว กล่าวให้แม่นยำยิ่งขึ้น คือ เมื่อกำหนดโครงสร้างย่อยที่ปิดภายใต้การดำเนินการบางอย่าง แผนที่การรวมจะเป็นการฝังตัวด้วยเหตุผลเชิงสัจพจน์ ตัวอย่างเช่น สำหรับการดำเนินการทวิภาคบางอย่างที่ต้องการให้ นั้น หมายความว่าถูกคำนวณอย่างสอดคล้องกันในโครงสร้างย่อยและโครงสร้างขนาดใหญ่ กรณีของการดำเนินการเอกภาคก็คล้ายกัน แต่เราควรพิจารณา การดำเนินการ ศูนย์ ด้วย ซึ่งจะเลือก องค์ประกอบ คงที่ออก มา ประเด็นก็คือการปิดหมายความว่าค่าคงที่ดังกล่าวจะต้องมีอยู่ในโครงสร้างย่อยอยู่แล้ว ${\displaystyle \star ,}$$${\displaystyle \iota (x\star y)=\iota (x)\star \iota (y)}$$${\displaystyle \star }$

แผนที่การรวมพบได้ในโทโพโลยีเชิงพีชคณิตโดยที่หากเป็นการดึงกลับแบบการเปลี่ยนรูปที่แข็งแกร่งของแผนที่การรวม จะได้ไอโซมอร์ฟิซึมระหว่างกลุ่มโฮโมโทปี ทั้งหมด (นั่นคือ เป็นความสมมูลของโฮโมโทปี ) ${\displaystyle A}$${\displaystyle X,}$

แผนที่การรวมในเรขาคณิตมีหลายประเภท เช่นการฝังตัวของซับแมนิโฟลด์วัตถุคอนทราแว เรียน ต์ (กล่าวคือ วัตถุที่มีพูลแบ็กซึ่งในศัพท์เก่าที่ไม่เกี่ยวข้องเรียกว่าโคแวเรียนต์) เช่นรูปแบบเชิงอนุพันธ์จะจำกัดอยู่บนซับแมนิโฟลด์ ทำให้เกิดการแมปในทิศทางตรงกันข้ามอีกตัวอย่างหนึ่งที่ซับซ้อนกว่าคือแผนผังแอฟฟินซึ่งการรวม และ อาจเป็นมอร์ฟิซึม ที่แตกต่างกัน โดยที่เป็นวงแหวนสลับที่และเป็นอุดมคติของ$${\displaystyle \operatorname {Spec} \left(R/I\right)\to \operatorname {Spec} (R)}$$$${\displaystyle \operatorname {Spec} \left(R/I^{2}\right)\to \operatorname {Spec} (R)}$$${\displaystyle R}$${\displaystyle I}$${\displaystyle R.}$

• โคไฟเบรชัน  – แนวคิดในทฤษฎีโฮโมโทปี
• ฟังก์ชันเอกลักษณ์  – ฟังก์ชันที่ส่งคืนค่าอาร์กิวเมนต์โดยไม่เปลี่ยนแปลง