２つの対象があると、これをまとめて、「組」という１つのものとして認識することがある。対象が２つ以上になっても同様に「組」が作られる。

珈琲を飲むときに砂糖とミルクもほしくて、
　（珈琲，砂糖，ミルク）
とセットにしたいときに、
　「珈琲ありあり」
などと呼んで言葉にする。（実際の言い方は地方に依るかも？）

そのような概念を一般的に集合を使って記述しよう。そして演算がある場合でも演算を導入しよう。

１．２つの集合の直積

ＡとＢを集合とする。Ａの元ａとＢの元ｂの組
　（ａ，ｂ）
のすべてから成る集合を
　Ａ×Ｂ
と書いて、これを集合Ａ，Ｂの直積（direct product）という。

次に集合に演算が付与されている代数系となった場合について。

Ａ，Ｂを同じ代数系で、対応する演算は同じ記号で書くとする。直積集合Ａ×ＢにＡ（ないしＢ）の演算μ（ｎ項）を用いて
　　μ( (ａ(1)，ｂ(1))，･･･，(ａ(n)，ｂ(n)) )
　＝(μ(ａ(1)，ｂ(1))，･･･，μ(ａ(n)，ｂ(n)) )
で定めればＡ×Ｂにもｎ項演算μが定まり、従ってＡ×ＢもＡと同じ代数系となる。こうして得られる代数系Ａ×ＢをＡとＢの直積（direct product）という同じ用語を使う。

Ａ，Ｂ，Ｃが互いに同じ代数系のとき、
（１）Ａ×Ｂ≅Ｂ×Ａ，
　　　(ａ，ｂ)↦(ｂ，ａ)
（２）（Ａ×Ｂ）×Ｃ≅Ａ×（Ｂ×Ｃ），
　　　((ａ，ｂ)，ｃ)↦(ａ，(ｂ，ｃ))
となる。

従って３つ以上の直積の並び順は同型の意味においては無関係である。

そこで次節で３つ以上の直積に拡張しよう。

２．任意個の集合の直積

任意個（有限でも無限でも）の直積も定義される。

Γを任意の集合とし集合Γの元ごとに代数系Ａ(γ)が対応していて各Ａ(γ)は全て同じ代数系であるとする。

まず
　ΠＡ(γ)
を組
　(ａ(γ)；γ∈Γ)
のすべてから成る集合と定め、これを集合族(Ａ(γ)；γ∈Γ)の直積という。

組(ａ(γ)；γ∈Γ)とは、Γの元γに応じてＡ(γ)の元ａ(γ)が１つ指定されているから、その実態は「写像」である。しかしこのように「元の組」として書く方が、有限個の直積の場合の無限版への拡張とすぐに見れるから分かりやすい。写像として書くなら、ｂ＝(ａ(γ)；γ∈Γ)とおくと、
　ｂ：Γ→∪Ａ(γ)，（和集合∪は、γ∈Γすべてを動く）
　　γ↦ａ(γ)
となる。

この直積集合ΠＡ(γ)の上に、演算μを
　μ( ａ[1]，･･･，ａ[n] )＝ｂ，
　ｂ：γ ↦ μ( ａ[1](γ)，･･･，ａ[n](γ) )
で定める。

こうしてすべてのＡ(γ)に付随する演算μに対してわたってこれを行えば、
　ΠＡ(γ)
も各Ａ(γ)と同じ代数系が得られる。