>>702
Kを任意の体として、Λを好きな濃度の集合とする。
この時、形式多項式体 K[[x_λ| λ∈Λ]] を考えればOK