If $P = \{a\}$ and $Q = \{b, c\}$, then

Each element of $P$ becomes the first coordinate and each element of $Q$ the second. Since $P = \{a\}$, the pairs are $(a, b)$ and $(a, c)$, giving $\{(a, b), (a, c)\}$.