معايير توضيحية للانفصال غير القابل للاختزال بقوة في تقسيمات هيفغارد وانتهاء مجموعات جوريتز | Synapse