ในเรขาคณิตเชิงพีชคณิตมอร์ฟิซึมของสกีมfจากXไปยังYเรียกว่ากึ่งแยก (quasi-separated)ถ้าแผนที่แนวทแยงจากXไปยังX × Xเป็นกึ่งกระชับ (quasi-compact) (หมายความว่าภาพผกผันของเซตเปิดกึ่งกระชับใดๆ ก็เป็นกึ่งกระชับเช่นกัน) สกีมXเรียกว่ากึ่งแยก ถ้ามอร์ฟิซึมไปยังสกีมZเป็นกึ่งแยกปริภูมิพีชคณิต กึ่งแยก สแต็ก พีชคณิตและมอร์ฟิซึมระหว่างปริภูมิเหล่านั้นถูกนิยามในลักษณะที่คล้ายคลึงกัน แม้ว่าผู้เขียนบางคนจะรวมเงื่อนไขที่ว่าXเป็นกึ่งแยกไว้ในคำนิยามของปริภูมิพีชคณิตหรือสแต็กพีชคณิตXด้วยก็ตามGrothendieck & Dieudonné (1964 , 1.2.1) ได้นำเสนอมอร์ฟิซึมแบบกึ่งแยก เป็นการวางนัยทั่วไปของมอร์ฟิซึมแบบแยก ซึ่งกำหนดให้แผนที่แนวทแยงต้องเป็น อินเสิร์ชัน แบบ ปิด

มอร์ฟิซึมแบบแยกทั้งหมด (และมอร์ฟิซึมทั้งหมดของโครงร่างโนเธอร์เรียน ) จะเป็นมอร์ฟิซึมแบบกึ่งแยกโดยอัตโนมัติ มอร์ฟิซึมแบบกึ่งแยกมีความสำคัญสำหรับปริภูมิพีชคณิตและสแต็กพีชคณิต ซึ่งมอร์ฟิซึมตามธรรมชาติหลายตัวเป็นมอร์ฟิซึมแบบกึ่งแยกแต่ไม่ใช่แบบแยก

เงื่อนไขที่ว่ามอร์ฟิซึมเป็นแบบกึ่งแยกส่วน มักเกิดขึ้นควบคู่กับเงื่อนไขที่ว่ามอร์ฟิซึมนั้นเป็นแบบกึ่งกะทัดรัด

เรากล่าวว่าปริภูมิเชิงทอพอโลยีXเป็นแบบกึ่งแยก (quasi-separated)ถ้าจุดตัดของเซตย่อยแบบกึ่งกระชับ (quasi-compact) เปิดสองเซตของXเป็นแบบกึ่งกระชับเช่นกัน เรากล่าวว่าแผนที่ต่อเนื่องของปริภูมิเชิงทอพอโลยีfจากXไปยังYเป็นแบบกึ่งแยก ถ้าภาพผกผันตามfของทุกเซตย่อยแบบกึ่งแยกเปิดของYเป็นแบบกึ่งแยกเช่นกัน จากนั้น สกีม (หรือมอร์ฟิซึมของสกีม) เป็นแบบกึ่งแยกในความหมายเชิงทฤษฎีสกีมก็ต่อเมื่อมันเป็นแบบกึ่งแยกในความหมายเชิงทอพอโลยี ดูGrothendieck & Dieudonné (1964 , 1.2.6, 1.2.7)

• ถ้าXเป็นสกีมแบบโนเธอร์เรียนเฉพาะที่แล้ว มอร์ฟิซึมใดๆ จากXไปยังสกีมใดๆ ก็จะเป็นแบบกึ่งแยก และโดยเฉพาะอย่างยิ่งXก็เป็นสกีมแบบกึ่งแยกเช่น กัน
• รูปแบบหรือมอร์ฟิซึมที่แยกออกจากกันใดๆ ก็ตาม ถือว่าเป็นแบบกึ่งแยกออกจากกัน
• เส้นที่มีจุดกำเนิดสองจุดบนพื้นที่หนึ่งนั้น แทบจะแยกออกจากกันบนพื้นที่นั้น แต่ไม่ได้แยกออกจากกันอย่างแท้จริง
• ถ้าXเป็น "ปริภูมิเวกเตอร์มิติอนันต์ที่มีจุดกำเนิดสองจุด" บนฟิลด์Kแล้ว มอร์ฟิซึมจากXไปยังสเปคKจะไม่เป็นแบบกึ่งแยกส่วน กล่าวคือXประกอบด้วยสำเนาสองชุดของสเปคK [ x , x ,....] ที่เชื่อมต่อกันโดยการระบุจุดที่ไม่เป็นศูนย์ในแต่ละสำเนา
• ผลหารของปริภูมิพีชคณิตโดยกลุ่มไม่ต่อเนื่องอนันต์ที่กระทำอย่างอิสระมักจะไม่ใช่ปริภูมิกึ่งแยกส่วน ตัวอย่างเช่น ถ้าKเป็นฟิลด์ที่มีลักษณะเฉพาะ0ผลหารของเส้นตรงเชิงเส้นโดยกลุ่ม จำนวนเต็ม Zคือปริภูมิพีชคณิตที่ไม่ใช่ปริภูมิกึ่งแยกส่วน ปริภูมิพีชคณิตนี้ยังเป็นตัวอย่างของวัตถุกลุ่มในหมวดหมู่ของปริภูมิพีชคณิตที่ไม่ใช่สกีม ปริภูมิพีชคณิตกึ่งแยกส่วนที่เป็นวัตถุกลุ่มมักจะเป็นสกีมกลุ่ม เสมอ มีตัวอย่างที่คล้ายกันโดยการหาผลหารของสกีมกลุ่มG โดยกลุ่มย่อยอนันต์ หรือผลหารของจำนวนเชิงซ้อนโดยแลตทิซ

• Grothendieck, อเล็กซานเดร ; ดิอูดอนเน, ฌอง (1964) "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, งานปาร์ตี้รอบปฐมทัศน์" . สิ่งตีพิมพ์ Mathématiques de l'IHÉS . 20 . ดอย : 10.1007/bf02684747 . คุณ 0173675 .