Instrumental variable models for discrete outcomes are set, not point, identifying. The paper characterises identi.ed sets of structural functions when endogenous variables are discrete. Identi.ed sets are unions of large numbers of convex sets and may not be convex nor even connected. Each of...