# Unclear equation in a proof in Kallenberg's Foundations of Modern Probability

Equation 15 is meant to define $f^{n}_{k}$, but what exactly goes on on the right hand side of the equation? It looks like a multiplication of the two functions: $\mu_{k+1}\otimes\cdots\otimes\mu_{n}$ and $1_{A_{n}}$ but the "types" don't match, since $(\mu_{k+1}\otimes\cdots\otimes\mu_{n})\in(S_{1} \times\cdots\times S_{k})\times(\mathcal{S}_{k+1}\otimes\cdots\otimes \mathcal{S}_{n})\rightarrow\mathbb{R}$, whereas $1_{A_{n}}\in\mathfrak{F}_n\rightarrow\mathbb{R}(=( S_1\times\cdots\times S_n)\rightarrow\mathbb{R})$