Solution
= Solution
For $\mathbb P(X=x)>0$, the <conditional probability mass function> is
$$
\boxed{p_{Y\mid X=x}(y)=\frac{\mathbb P(X=x,Y=y)}{\mathbb P(X=x)}}\quad(y\in S).
$$
The positive denominator makes the expression well-defined, and its <sum> over $y$ is one.