即ち、左辺の形の元全てを含むG∗Hの最小の正規部分群（英語版）をNとして、GとHとの（φ,ψに関する）融合積とは、剰余群(G∗H)/N{\displaystyle(G*H)/N}のことを言う。
换言之，在G∗H中取最小的正规子群N，使得上式左方的元素都包含在内，则商群(G∗H)/N{\displaystyle(G*H)/N}就是共合积G∗FH{\displaystyleG*_{F}H}。