无限直积

infinite direct product