为单位元，那么"ST"的每一个元素都可以唯一地表示为乘积"st"，其中"s"位于"S"内，"t"位于"T"内。如果"S"和"T"还是可交换的，那么"ST"就是一个群，称为扎帕-塞普乘积。更进一步，如果"S"或"T"在"ST"中正规，那么"ST"便称为半直积。最后，如果"S"和"T"都在"ST"中正规，那么"ST"便称为直积。