Def. Let X and Y be discrete random variables. The conditional probability mass function of Y given that X = x is: