We propose using cyclic monotonicity, a convex-analytic property of the random utility choice model, to derive bounds on counterfactual choice probabilities in semiparametric multinomial choice models. These bounds are useful for typical counterfactual exercises in aggregate discrete-choice...