ในพีชคณิตสากลและทฤษฎีแบบจำลองกลุ่มของโครงสร้างKจะมีคุณสมบัติการฝังตัวร่วม (joint embedding property) ก็ต่อ เมื่อสำหรับโครงสร้างAและB ทั้งหมด ในKจะมีโครงสร้างCในKเช่นกัน ซึ่งทั้งAและBสามารถฝังตัวลงในCได้

เป็นหนึ่งในสามคุณสมบัติที่ใช้ในการกำหนดอายุของโครงสร้าง

ทฤษฎีลำดับแรกมีคุณสมบัติการฝังร่วมกันหากคลาสของแบบจำลองมีคุณสมบัติการฝังร่วมกัน^{[ 1 ]}ทฤษฎีที่สมบูรณ์มีคุณสมบัติการฝังร่วมกัน ในทางกลับกันทฤษฎีที่สมบูรณ์แบบจำลองที่มีคุณสมบัติการฝังร่วมกันก็สมบูรณ์เช่นกัน^{[ 1 ]}

แนวคิดที่คล้ายคลึงกันแต่แตกต่างจากคุณสมบัติการฝังร่วมคือคุณสมบัติการรวม กลุ่ม เพื่อให้เห็นความแตกต่าง ลองพิจารณาคลาสK (หรือเรียกง่ายๆ ว่าเซต) ที่ประกอบด้วยแบบจำลองสามแบบที่มีลำดับเชิงเส้น L1 ขนาดหนึ่งขนาดสอง และขนาดสาม คลาส K นี้คุณสมบัติการฝังร่วมเพราะแบบจำลองทั้งสามสามารถฝังลงในL3 ได้อย่างไรก็ตามKไม่มีคุณสมบัติการรวมกลุ่ม ตัวอย่างค้านสำหรับเรื่องนี้เริ่มต้นด้วยที่มีองค์ประกอบเดียวคือe และขยายออกไปในสองวิธีที่แตกต่างกันไปยัง L3 วิธีหนึ่งที่ e มีค่าน้อยที่สุดและอีกวิธีหนึ่งที่e มีค่ามากที่สุด ตอนนี้แบบจำลองทั่วไปใดๆ ที่มีการฝังจากส่วนขยายทั้งสองนี้จะต้อง น้อยห้าเพื่อให้มีองค์ประกอบสองตัวอยู่ทั้งสองด้านของe

ต่อไปนี้ให้พิจารณากลุ่มของฟิลด์ปิดเชิงพีชคณิตกลุ่มนี้มีคุณสมบัติการรวมตัว เนื่องจากฟิลด์ส่วนขยายสองฟิลด์ใดๆ ของฟิลด์เฉพาะสามารถฝังตัวลงในฟิลด์ร่วมได้ อย่างไรก็ตาม ฟิลด์สองฟิลด์ใดๆ ไม่สามารถฝังตัวลงในฟิลด์ร่วมได้ หากคุณลักษณะของฟิลด์ทั้งสองแตกต่างกัน