不相交的，则自由积 "G * H" 有展示 <"S,T"|"R,Q">。
直积.如果 "G" 有展示 <"S"|"R"> 而 "H" 有展示 <"T"|"Q">，并有着 "S"和 "T" 是不相交的，则 "G" 和 "H" 的直积有展示 <"S,T"|"R,Q, [S,T]">。这里 ["S,T"] 意味着来自 "S" 的所有元素与来自 "T" 的所有元素的交换子集合。