定義
A を単位元をもつとは限らない可換環とする。
S を A の空でない部分集合とする。
S が次の条件(*)を満たすとき積閉であるという。

(*) a∈ S、b ∈ S なら ab ∈ S