We model a general choice environment via probabilistic choice correspondences, with (possibly) incomplete domain and infinite universal set of alternatives. We offer a consistency restriction regarding choice when the feasible set contracts. This condition, 'contraction consistency', subsumes...