>>183

可換環では、任意の有限集合S(順序がついている必要はない)の要素の積は、上手く定義できる、例えば、空集合の積はeである。

というごく意味です。ごく当たり前のことだと思います。