(Used in Chapter 6.) Notice that when we used \(A^{2}\) to stand for taking two
apples, and \(P^{3}\) to stand for taking three pears, then we used the product
\(A^{2} P^{3}\) to stand for taking two apples and three pears. Thus we have
chosen the picture of the ordered pair ( 2 apples, 3 pears) to be the product
of the pictures of a multiset of two apples and a multiset of three pears.
Show that if \(S_{1}\) and \(S_{2}\) are sets with picture functions \(P_{1}\) and
\(P_{2}\) defined on them, and if we define the picture of an ordered pair
\(\left(x_{1}, x_{2}\right) \in S_{1} \times S_{2}\) to be \(P\left(\left(x_{1},
x_{2}\right)\right)=P_{1}\left(x_{1}\right) P_{2}\left(x_{2}\right),\) then the
picture enumerator of \(P\) on the set \(S_{1} \times S_{2}\) is
\(E_{P_{1}}\left(S_{1}\right) E_{P_{2}}\left(S_{2}\right) .\) We call this the
product principle for picture enumerators.