Remark 23.5.2. Let $(A, I, \gamma )$ be a divided power ring. There is a variant of Lemma 23.5.1 for infinitely many variables. First note that if $s < t$ then there is a canonical map
Hence if $W$ is any set, then we set
(colimit over $E$ finite subset of $W$) with transition maps as above. By the definition of a colimit we see that the universal mapping property of $A\langle x_ w: w \in W\rangle $ is completely analogous to the mapping property stated in Lemma 23.5.1.