Quantum technology is creating an increasing research activity in information theory, engineering, and physics. One example is the theory of quantum channels with input constraints. This line of research has seen new results in quantum communication theory and quantum dynamics, but its basic functional analysis is still unexplored. Here, we provide a version of Choquet’s theorem regarding constrained sets of states. The result simplifies the definitions of several characteristics of quantum information theory.