A reason-based choice correspondence rationalizes choice behaviour in terms of a two-stage choice procedure. Given a feasible set S, the individual eliminates from it all of the dominated alternatives according to her fixed (not necessarily complete) strict preference relation, in the first...