スレチだと思うんですが、どうしても分からないので質問させてください。
英語のテキストで可換群について説明されている部分で、
「In a commutative group, the product of any finite (not necessarily ordered) family S of elements
is well defined, for example, the empty product is e.」
という一文の意味がよく分かりません。お助けください。
ちなみにテキストは↓で、上記の文が載っているのはp9です。
http://www.jmilne.org/math/CourseNotes/GT.pdf