1 Introduction

1.1 The rationalizability question

This paper studies the question of when observed preferences over opportunity sets (“menus”) can be rationalized by underlying preferences over the alternatives they contain (“meals”). In the simplest environment, with finitely many options and a weak preference asserted by the decision maker between each pair of subsets of the universal menu, conditions for rationalizability were given by Kreps (1979, pp. 565–566) as a benchmark for his axiomatization of “preference for flexibility.” Yet despite a large subsequent literature that incorporates into menu preferences various other tastes and influences on behavior, the rationalizability question remains unanswered in the general case.Footnote 1

We shall generalize the environment in Kreps (1979) along both dimensions mentioned in the previous paragraph. Firstly, any nonempty universal set of alternatives will be permitted, whether finite or (countably or uncountably) infinite. This will allow our framework to accommodate the many economic contexts in which finiteness is not a natural assumption, such as choice among consumption bundles, production plans, lotteries, and asset allocations.Footnote 2 Secondly, the domain of menus over which preferences are asserted will be permitted to be any nonempty subset of the set of conceivable choice problems. This will make our findings applicable to arbitrary datasets, including those that arise from observational data or laboratory experiments; or from structured settings where all menus are, for example, budget or production sets.

At the heart of the rationalizability question is the need to translate meal preferences into menu preferences and vice versa. On the one hand, any meal-preference relation induces a menu-preference relation via a simple rule (see Definition 1): One menu is weakly preferred to another if each meal on the second menu is weakly inferior to some meal on the first menu. This relationship—which formalizes the concept of a rationalization—expresses the intuition that a menu is as good as the best meal it contains.

Moving in the opposite direction is trivial in full-domain environments, where meal preferences coincide with the observed preferences over singleton menus. But in our general framework, singleton menus need not be included in the domain, and therefore a more reliable notion of revealed meal preference is required. We propose the following conception (see Definition 3), which in a sense reverses the rule in the previous paragraph: One meal is weakly preferred to another if each menu containing the first meal is weakly superior to some menu containing the second meal. This revealed relation captures the intuition that a meal is as bad as the worst menu containing it, and will be used to replicate the observed menu preferences in proving our results.

1.2 Axioms for rationalizability

In the finite, full-domain environment, Kreps (1979) characterizes the class of menu preferences rationalizable by complete and transitive meal preferences. The first of his two axioms, which we label Menu Order, states simply that the observed menu preferences are themselves complete and transitive. This is a straightforward consequence of the ordering properties imposed on the rationalizing meal-preference relation, and the argument does not depend on finiteness or the full-domain assumption (see Corollary 1). Hence, we inherit Menu Order from Kreps as a necessary condition.

The second axiom used by Kreps (1979, p. 566), which we label Kreps Consistency, states that the more preferred of any two menus is indifferent to their union. This condition is clearly unsuitable for our framework, in which the domain of the menu-preference relation need not be closed under union. We therefore replace Kreps Consistency with a new and somewhat stronger axiom, Cover Dominance, which is appropriate for the general case.Footnote 3

Fig. 1
figure 1

The Cover Dominance axiom. The menus \(A,B_{1},B_{2},D \subset X\) are in the domain of the menu-preference relation \(\succsim \), with \(D \subset B_{1} \cup B_{2}\). If \(A \mathrel {\succ }B_{1}\) and \(A \mathrel {\succ }B_{2}\), then Cover Dominance requires that \(A \mathrel {\succ }D\)

To understand the content of Cover Dominance, consider the situation in Fig. 1. Here \(\succsim \) is the weak menu-preference relation (with associated strict relation \(\mathrel {\succ }\) and indifference relation \(\mathrel {\sim }\)), X is the universal set of alternatives, and the menus \(A,B_{1},B_{2},D \subset X\) are in the domain of \(\succsim \). If both \(A \mathrel {\succ }B_{1}\) and \(A \mathrel {\succ }B_{2}\) and if \(\succsim \) is rationalizable by meal preferences, then each meal in \(B_{1} \cup B_{2}\) should be strictly inferior to a meal in A. If also \(D \subset B_{1} \cup B_{2}\), then each meal in D (the “covered” menu) should likewise be strictly inferior to a meal in A. This leads us to anticipate that \(A \mathrel {\succ }D\), which is the conclusion mandated by Cover Dominance.Footnote 4

Our main result (Theorem 1) thus characterizes rationalizability by means of the Menu Order and Cover Dominance conditions. In proving sufficiency of this axiom system, we also establish two of its implications that are of interest in their own right. One condition, Implicit Optima, states that each menu contains an alternative whose presence on any other menu guarantees that the second menu is no worse than the first. In terms of the rationalization, this means that even on infinite menus there can be found a greatest option with respect to the meal-preference relation. The second implied condition, Weak Cover Dominance, replaces strict with weak preference in both the hypotheses and the conclusion of Cover Dominance. This alternate version of the cover dominance property plays a role in the proof of sufficiency, as well as in linking our axiom system to that of Kreps (1979).

1.3 Preferences over budget sets: an example

For a concrete illustration of our framework and characterization result, let \(X = \mathfrak {R}^{2}_{+}\) and imagine a consumer with endowment \(\langle 1,1 \rangle \) who may face a variety of different relative prices. Imagine further that the consumer asserts preferences over the four price vectors \(\langle 1,1 \rangle , \langle 1,2 \rangle , \langle 2,1 \rangle \), and \(\langle 1,4 \rangle \); with respective budget sets \(B_{1}, B_{1/2}, B_{2}\), and \(B_{1/4}\). This situation is depicted in Fig. 2, where the points \(x^{1} , x^{2} , \ldots , x^{7}\) represent arbitrary consumption bundles in different regions of X.

Fig. 2
figure 2

An example of preferences over the budget sets \(B_{1}, B_{1/2}, B_{2}\), and \(B_{1/4}\). The order \(B_{1/2} \mathrel {\succ }B_{2} \mathrel {\succ }B_{1} \mathrel {\succ }B_{1/4}\) violates Cover Dominance and thus is not rationalizable. In contrast, the order \(B_{1/4} \mathrel {\succ }B_{2} \mathrel {\succ }B_{1} \mathrel {\succ }B_{1/2}\) satisfies Cover Dominance and thus is rationalizable

Suppose first that \(B_{1/2} \mathrel {\succ }B_{2} \mathrel {\succ }B_{1} \mathrel {\succ }B_{1/4}\). Since \(B_{1/2} \subset B_{1} \cup B_{1/4}\) and both \(B_{2} \mathrel {\succ }B_{1}\) and \(B_{2} \mathrel {\succ }B_{1/4}\), Cover Dominance requires that \(B_{2} \mathrel {\succ }B_{1/2}\). But this contradicts the observed preference \(B_{1/2} \mathrel {\succ }B_{2}\), so Cover Dominance fails in this case and we can conclude that \(\succsim \) is not rationalizable by complete and transitive meal preferences.

Now, suppose instead that \(B_{1/4} \mathrel {\succ }B_{2} \mathrel {\succ }B_{1} \mathrel {\succ }B_{1/2}\). Since \(B_{1} \subset B_{2} \cup B_{1/2}\) and both \(B_{1/4} \mathrel {\succ }B_{2}\) and \(B_{1/4} \mathrel {\succ }B_{1/2}\), Cover Dominance implies \(B_{1/4} \mathrel {\succ }B_{1}\). This agrees with the observed preferences, and it is straightforward to verify that no other violations of Cover Dominance can be found in the dataset. Of course Menu Order also holds, and thus \(\succsim \) can be rationalized in this case.

Note that, according to the preferences in the previous paragraph, each of the menus containing \(x^{5}\) (namely, \(B_{1}\) and \(B_{2}\)) is strictly superior to some menu containing \(x^{4}\) (namely, \(B_{1/2}\)). Evaluating each meal by the worst menu containing it, our revealed preference relation therefore considers \(x^{5}\) strictly superior to \(x^{4}\). Similarly, our relation considers \(x^{7}\) strictly superior to \(x^{5}\); \(x^{6}\) strictly superior to \(x^{7}\); and \(x^{1}, x^{2}, x^{3}\), and \(x^{4}\) indifferent to each other since they are all members of the lowest ranked menu (\(B_{1/2}\)).

The meal preferences that rationalize a given menu-preference relation will not in general be unique.Footnote 5 Indeed, writing a generic consumption bundle in the present context as \(z = \langle z_{1},z_{2} \rangle \), the preferences \(B_{1/4} \mathrel {\succ }B_{2} \mathrel {\succ }B_{1} \mathrel {\succ }B_{1/2}\) can be rationalized by the two distinct meal-preference relations represented by the utility functions \(u(z) = 19 z_{1} + 30 z_{2}\) and \(v(z) = \max \{ 10 z_{1} z_{2}^{3} , z_{1}^{4} z_{2} \}\). Neither coincides with our revealed meal-preference relation, which in this case has just four indifference classes (corresponding to the four menus in the dataset). Concretely, the alternatives \({\tilde{x}}^{1} = \langle 0.2,1.0 \rangle \) and \({\tilde{x}}^{4} = \langle 2.0,0.1 \rangle \) are ranked as indifferent by our revealed relation, while the two utility functions yield opposing strict preferences computed as \(u({\tilde{x}}^{1}) = 33.8 < 41.0 = u({\tilde{x}}^{4})\) and \(v({\tilde{x}}^{1}) = 2.0 > 1.6 = v({\tilde{x}}^{4})\). This example makes clear that deducing the decision maker’s true meal preferences from arbitrary menu-preference data will not typically be possible; and doing so is not our purpose in this paper. We wish, rather, to find concise and transparent conditions that characterize rationalizability without the help of domain assumptions and thus allow us to test this hypothesis under more realistic circumstances.

1.4 Road map

The remainder of the paper is structured as follows. Section 2 describes how menu preferences are induced by meal preferences and how meal preferences are revealed by menu preferences, and introduces the Menu Order axiom. Section 3 proceeds to develop the Cover Dominance axiom and to state and outline the proof of our main result. Section 4 discusses rationalizability by incomplete meal preferences, shows how Kreps’s original characterization can be derived as a corollary of our result, and demonstrates how the theory of rationalizable menu preferences parallels the theory of rationalizable choice functions. Proofs are in the “Appendix”.

2 Meal and menu preferences

2.1 Preliminaries

Let X be a nonempty set of alternatives (also called “options” or “meals”), write \({\mathfrak {X}}\) for the power set of X, and fix both a nonempty domain \({\mathfrak {D}}\subset {\mathfrak {X}}{\setminus }\{ \emptyset \}\) of menus and a relation \(\succsim \) on \({\mathfrak {D}}\). Our primitives are thus \(\langle X,{\mathfrak {D}},\succsim \rangle \). Write \({\mathfrak {D}}_{x} = \{ A \in {\mathfrak {D}}: x \in A \}\) for the set of menus that contain option x.

Given a relation \(\mathrm {R}\) on X, write \(G(A,\mathrm {R}) = \{ x \in A : \forall y \in A \quad x \mathrm {R}y \}\) for the set of \(\mathrm {R}\)-greatest alternatives on menu A. A relation is a preorder if it is both reflexive and transitive. For brevity, a complete preorder will be referred to simply as an order.Footnote 6

As usual, we write \(A \mathrel {\sim }B\) when \(A \succsim B \succsim A\) and \(A \mathrel {\succ }B\) when \(A \succsim B \not \succsim A\). Likewise, we write \(x \mathrm {I}y\) when \(x \mathrm {R}y \mathrm {R}x\) and \(x \mathrm {P}y\) when both \(x \mathrm {R}y\) and \(\lnot y \mathrm {R}x\).

2.2 Induced menu preferences

Kreps (1979, p. 565) uses preferences over alternatives to define preferences over menus “in the obvious fashion.”

Definition 1

Given a relation \(\mathrm {R}\) on X, define a relation on \({\mathfrak {D}}\) as follows: For each \(A,B \in {\mathfrak {D}}\), let if and only if \(\forall y \in B\), there exists an \(x \in A\) such that \(x \mathrm {R}y\).

In words, the induced relation weakly prefers menu A to B if each option on B is weakly inferior, according to the meal-preference relation \(\mathrm {R}\), to some option on A. This is consistent with the standard model of choice, in which the decision maker will eventually select from each menu a preference-maximal option according to which the menu itself may be valued.

We write \(A \mathrel {\mathrel {\sim }_{\mathrm {R}}} B\) when and \(A \mathrel {\mathrel {\succ }_{\mathrm {R}}} B\) when . For complete \(\mathrm {R}\), Definition 1 can then be expressed as \(B \mathrel {\mathrel {\succ }_{\mathrm {R}}} A\) if and only if \(\exists y \in B\) such that \(\forall x \in A\) we have \(y \mathrm {P}x\). That is, a strict menu preference for B over A is induced by \(\mathrm {R}\) if some option on B is strictly better than every option on A.

An important consequence of Definition 1 is that the induced relation inherits a number of ordering properties from \(\mathrm {R}\).

Proposition 1

A. If \(\mathrm {R}\) is reflexive, then is reflexive. B. If \(\mathrm {R}\) is complete, then is complete. C. If \(\mathrm {R}\) is transitive, then is transitive.

Finally, we can use induced menu preferences to formalize our concept of rationalizability.

Definition 2

A rationalization of \(\succsim \) is a relation \(\mathrm {R}\) on X such that .

If the unobserved meal-preference relation is complete and transitive, then it follows from Proposition 1 that the induced menu-preference relation exhibits the same properties. This yields a necessary condition for rationalizability by an order in the general case.

Condition 1

(Menu Order) The relation \(\succsim \) is an order.

Corollary 1

If \(\succsim \) is rationalized by an order, then Menu Order holds.

Example 1

Let \(X = wxyz\) and \({\mathfrak {D}}= \{ z,wx,wz,xy,xz,yz,xyz \}\). Then, the order \(w \mathrm {P}x \mathrm {I}y \mathrm {P}z\) on meals induces the order \(wx \mathrel {\mathrel {\sim }_{\mathrm {R}}} wz \mathrel {\mathrel {\succ }_{\mathrm {R}}} xy \mathrel {\mathrel {\sim }_{\mathrm {R}}} xz \mathrel {\mathrel {\sim }_{\mathrm {R}}} yz \mathrel {\mathrel {\sim }_{\mathrm {R}}} xyz \mathrel {\mathrel {\succ }_{\mathrm {R}}} z\) on menus. For instance, we have that since \(w \mathrm {R}x\) and \(w \mathrm {R}y\), while since \(\lnot x \mathrm {R}w\) and \(\lnot y \mathrm {R}w\).Footnote 7

2.3 Revealed meal preferences

In order to achieve the desired characterization, we will also need to be able to translate the decision maker’s tastes from the menu-preference relation \(\succsim \) to a revealed meal-preference relation. This is accomplished by the following construction.

Definition 3

Define a relation \({\hat{\mathrm {R}}}\) on X as follows: For each \(x,y \in X\), let \(x {\hat{\mathrm {R}}}y\) if and only if \(\forall A \in {\mathfrak {D}}_{x}\), there exists a \(B \in {\mathfrak {D}}_{y}\) such that \(A \succsim B\).

Here, the revealed relation \({\hat{\mathrm {R}}}\) weakly prefers option x to y if each menu containing x is no worse, according to the primitive relation \(\succsim \), than some menu containing y.

We write \(x {\hat{\mathrm {I}}}y\) when \(x {\hat{\mathrm {R}}}y {\hat{\mathrm {R}}}x\) and \(x {\hat{\mathrm {P}}}y\) when both \(x {\hat{\mathrm {R}}}y\) and \(\lnot y {\hat{\mathrm {R}}}x\). For complete \(\succsim \), Definition 3 can then be expressed as \(y {\hat{\mathrm {P}}}x\) if and only if \(\exists A \in {\mathfrak {D}}_{x}\) such that \(\forall B \in {\mathfrak {D}}_{y}\) we have \(B \mathrel {\succ }A\). That is, a strict meal preference for y over x is revealed by \(\succsim \) if some menu containing x is strictly worse than every menu containing y.

The latter paraphrasing of Definition 3 conveys the rationale behind the revealed meal-preference relation \({\hat{\mathrm {R}}}\): If even the worst menu B containing y is strictly preferred to some menu A containing x, this suggests that y itself is strictly better than everything in A and in particular strictly better than x. The expression \(x {\hat{\mathrm {R}}}y\) records the absence of this situation, where the evidence from \(\succsim \) indicates instead that x is at least as good as y.

Our next result is the meal-preference analog of Proposition 1, establishing that \({\hat{\mathrm {R}}}\) inherits the same ordering properties from \(\succsim \).

Proposition 2

A. If \(\succsim \) is reflexive, then \({\hat{\mathrm {R}}}\) is reflexive. B. If \(\succsim \) is complete, then \({\hat{\mathrm {R}}}\) is complete. C. If \(\succsim \) is transitive, then \({\hat{\mathrm {R}}}\) is transitive.

Corollary 2

Menu Order implies that \({\hat{\mathrm {R}}}\) is an order.

Example 2

For the domain defined in Example 1, we have \({\mathfrak {D}}_{w} = \{ wx,wz \}, {\mathfrak {D}}_{x} = \{ wx,xy,xz,xyz \}, {\mathfrak {D}}_{y} = \{ xy,yz,xyz \}\), and \({\mathfrak {D}}_{z} = \{ z,wz,xz,yz,xyz \}\). In this case, the order \(wx \mathrel {\sim }wz \mathrel {\succ }xy \mathrel {\sim }xz \mathrel {\sim }yz \mathrel {\sim }xyz \mathrel {\succ }z\) on menus (identical to the induced preferences in Example 1) reveals the original order \(w {\hat{\mathrm {P}}}x {\hat{\mathrm {I}}}y {\hat{\mathrm {P}}}z\) on meals. For instance, we have that \(w {\hat{\mathrm {R}}}x\) since \(wx \succsim xy\) and \(wz \succsim xy\), while \(\lnot x {\hat{\mathrm {R}}}w\) since \(xy \not \succsim wx\) and \(xy \not \succsim wz\).

3 Main result

3.1 Characterization of rationalizability

We know from Corollary 2 that Menu Order is sufficient for \({\hat{\mathrm {R}}}\) to be complete and transitive. Hence, what is needed is a further condition that together with Menu Order will guarantee that this relation rationalizes the observed \(\succsim \).

To construct the required axiom, we shall use the concept of a covering set of menus.

Definition 4

The set \({\mathfrak {B}}\subset {\mathfrak {D}}\) is said to cover \(A \in {\mathfrak {D}}\) if \(A \subset \bigcup {\mathfrak {B}}:= \bigcup _{B \in {\mathfrak {B}}} B\).

Our condition then states that any menu strictly preferred to the elements of a cover must be strictly preferred to the target of the cover.

Condition 2

(Cover Dominance) Let \(A,D \in {\mathfrak {D}}\) and let \({\mathfrak {B}}\subset {\mathfrak {D}}\) cover D. If for each \(B \in {\mathfrak {B}}\) we have \(A \mathrel {\succ }B\), then \(A \mathrel {\succ }D\).

Here, the intuition is that \({\mathfrak {B}}\) collectively should be no worse than D, so Cover Dominance has the flavor of a transitivity condition. Note, however, that \(\bigcup {\mathfrak {B}}\) may or may not be in \({\mathfrak {D}}\), so we cannot argue simply that \(A \mathrel {\succ }\bigcup {\mathfrak {B}}\succsim D\) and hence \(A \mathrel {\succ }D\).

To show necessity of our new axiom, we shall need the set of \(\mathrm {R}\)-greatest elements of each menu to be nonempty. Implicitly, this is of course the set of eventual choices from the menu, and hence the additional structure required amounts to an assumption of nonempty-valued choice.

Proposition 3

If \(\succsim \) is rationalized by an order \(\mathrm {R}\) with \(G(\cdot ,\mathrm {R})\) nonempty, then Cover Dominance holds.

Our main result combines the assumptions on meal preference and the conditions on menu preference across Corollary 1 and Proposition 3.

Theorem 1

The relation \(\succsim \) is rationalized by an order \(\mathrm {R}\) with \(G(\cdot ,\mathrm {R})\) nonempty if and only if Menu Order and Cover Dominance hold.

Example 3

The menu preferences in Example 2 are rationalized by an order and hence satisfy both Menu Order and Cover Dominance. For instance, we have \(xz \subset xyz = xy \cup yz, wz \mathrel {\succ }xy\), and \(wz \mathrel {\succ }yz\), so Cover Dominance requires that \(wz \mathrel {\succ }xz\) (which is in fact the case). In contrast, the preferences \(wx \mathrel {\sim }wz \mathrel {\sim }xz \mathrel {\succ }xy \mathrel {\sim }yz \mathrel {\sim }xyz \mathrel {\succ }z\) fail Cover Dominance and so cannot be rationalized by an order.Footnote 8

3.2 Sufficiency of axioms

To achieve our characterization, it remains to show that the axioms in Theorem 1 are sufficient for \({\hat{\mathrm {R}}}\) to rationalize \(\succsim \) and generate a nonempty \(G(\cdot ,{\hat{\mathrm {R}}})\). The former property means both that all observed preferences are faithfully reproduced by \({\hat{\mathrm {R}}}\), written ; and that all preferences induced by \({\hat{\mathrm {R}}}\) are genuine, written .Footnote 9

We shall verify the required properties of \({\hat{\mathrm {R}}}\) with the help of two auxiliary conditions implied by our axiom system. The first asserts the existence within each menu of an “implicit optimum” whose appearance on any other menu ensures weak menu-superiority.Footnote 10

Condition 3

(Implicit Optima) For each \(A \in {\mathfrak {D}}\), there exists an \(x \in A\) such that \(\forall B \in {\mathfrak {D}}_{x}\) we have \(B \succsim A\).

Proposition 4

A. If \(\succsim \) is complete, then Cover Dominance implies Implicit Optima. B. Menu Order and Implicit Optima imply Cover Dominance.

This condition yields the desired nonemptiness property of \({\hat{\mathrm {R}}}\).

Proposition 5

Implicit Optima implies that \(G(\cdot ,{\hat{\mathrm {R}}})\) is nonempty.

Conveniently, it can also be used to prove the faithful-reproduction property.

Proposition 6

If \(\succsim \) is transitive, then Implicit Optima implies that .

Example 4

Recall the menu-preference order \(\succsim \) defined in Example 3, for which Cover Dominance fails. Here, alternative w is an implicit optimum for the menus wx and wz, alternative x for the menus xy and xyz, alternative y for the menu yz, and alternative z for the menu z. The menu xz contains no implicit optimum, since \(x \in xy \prec xz\) and \(z \in yz \prec xz\).

Our second auxiliary condition is a weak-preference counterpart of Cover Dominance and has a similar intuition in terms of the cover \({\mathfrak {B}}\) supplying a bridge between menu A and the (now weakly) inferior menu D.

Condition 4

(Weak Cover Dominance) Let \(A,D \in {\mathfrak {D}}\) and let \({\mathfrak {B}}\subset {\mathfrak {D}}\) cover D. If for each \(B \in {\mathfrak {B}}\) we have \(A \succsim B\), then \(A \succsim D\).

Proposition 7

If \(\succsim \) is transitive, then Implicit Optima implies Weak Cover Dominance.

This condition can be used to prove the genuineness property of \({\hat{\mathrm {R}}}\).

Proposition 8

Weak Cover Dominance implies that .

Note that Weak Cover Dominance is not in general strong enough to yield Implicit Optima, even in the presence of Menu Order. To support this claim, we offer the following example.

Example 5

Let \(X = x_{1} y_{1} x_{2} y_{2} x_{3} y_{3} \ldots , A = x_{1} x_{2} x_{3} \ldots , B_{k} = x_{k} y_{k}\) for \(k \ge 1\), and \({\mathfrak {D}}= \{ A,B_{1},B_{2},B_{3},\ldots \}\). Moreover, let \(B_{1} \prec B_{2} \prec B_{3} \prec \ldots \), and let \(A \mathrel {\succ }B_{k}\) for \(k \ge 1\). While these preferences satisfy both Menu Order and Weak Cover Dominance, they fail Implicit Optima. Indeed, the menu A contains no implicit optimum since \(x_{k} \in B_{k} \prec A\) for \(k \ge 1\). Note that, in view of Proposition 4A, \(\succsim \) must fail Cover Dominance as well. This can be verified by observing that \(A \subset \bigcup _{k=1} ^{\infty } B_{k}\) and \(A \mathrel {\succ }B_{k}\) for \(k \ge 1\), while the conclusion \(A \mathrel {\succ }A\) is obviously false.

To show that \({\hat{\mathrm {R}}}\) rationalizes \(\succsim \), we need the full strength of Implicit Optima and not just Weak Cover Dominance (see Propositions 68). Under Menu Order, we know that Implicit Optima and Cover Dominance are equivalent (see Proposition 4), but to ensure these conditions hold rationalizability alone is insufficient—nonemptiness is also needed (see Proposition 3). Fortunately, nonemptiness of \(G(\cdot ,{\hat{\mathrm {R}}})\) is guaranteed by Implicit Optima (see Proposition 5), making possible the construction of a two-way result in Theorem 1.Footnote 11

4 Additional results and discussion

4.1 Incomplete preferences

Theorem 1 can be adapted relatively easily to accommodate incompleteness of the primitive relation \(\succsim \) and the rationalizing relation \(\mathrm {R}\). Propositions 12 show that the properties of a preorder (namely, reflexivity and transitivity) transfer between meal and menu preferences independently of completeness, and hence the following condition is a suitable adaptation.

Condition 5

(Menu Preorder) The relation \(\succsim \) is a preorder.

Corollary 3

A. If \(\succsim \) is rationalized by a preorder, then Menu Preorder holds. B. Menu Preorder implies that \({\hat{\mathrm {R}}}\) is a preorder.

As for Cover Dominance, scrutiny of the proof of Theorem 1 reveals that a slightly different version of the axiom yields a valid characterization with or without the completeness assumption.Footnote 12

Condition 6

(Negative Cover Dominance) Let \(A,D \in {\mathfrak {D}}\) and let \({\mathfrak {B}}\subset {\mathfrak {D}}\) cover D. If for each \(B \in {\mathfrak {B}}\) we have \(B \not \succsim A\), then \(D \not \succsim A\).

When \(\succsim \) is complete, we have both \(B \not \succsim A \Longleftrightarrow [A \succsim B \wedge B \not \succsim A] \Longleftrightarrow A \mathrel {\succ }B\) and \(D \not \succsim A \Longleftrightarrow [A \succsim D \wedge D \not \succsim A] \Longleftrightarrow A \mathrel {\succ }D\); and so the two versions of the condition are logically equivalent. In this case, we favor Cover Dominance since it is the more transparent and readily interpretable form of the axiom, but adapting our result to the incomplete case calls for the alternative form.

Theorem 2

The relation \(\succsim \) is rationalized by a preorder \(\mathrm {R}\) with \(G(\cdot ,\mathrm {R})\) nonempty if and only if Menu Preorder and Negative Cover Dominance hold.

The proof of this result requires only minor changes to that of Theorem 1 and is therefore left to the reader.

4.2 Domain restrictions

Our main result characterizes rationalizability of menu preferences using the Menu Order and Cover Dominance axioms. To establish sufficiency, we have shown that in the presence of Menu Order, Cover Dominance is equivalent to Implicit Optima, which in turn implies Weak Cover Dominance. But Weak Cover Dominance is not in general strong enough to yield Implicit Optima, even with Menu Order. For this to be the case, we need to assume that the domain \({\mathfrak {D}}\) is finite, as established by the following proposition.

Proposition 9

Let \({\mathfrak {D}}\) be finite. Then, Menu Order and Weak Cover Dominance imply Implicit Optima.

Assume now that the domain \({\mathfrak {D}}\) is both finite and closed under union.Footnote 13 This takes us into a setting where rationalizability is captured by the axiom originally proposed by Kreps (1979, p. 565).

Condition 7

(Kreps Consistency) Let \(A,B \in {\mathfrak {D}}\) be such that \(A \cup B \in {\mathfrak {D}}\). If \(A \succsim B\), then \(A \mathrel {\sim }A \cup B\).

Proposition 10

If \(\succsim \) is reflexive, then Weak Cover Dominance implies Kreps Consistency.

A straightforward implication of Kreps’s condition is monotonicity with respect to set inclusion (called “desire for flexibility” in Kreps 1979).

Condition 8

(Monotonicity) Let \(A,B \in {\mathfrak {D}}\). If \(A \subset B\), then \(B \succsim A\).

Proposition 11

If \(\succsim \) is complete, then Kreps Consistency implies Monotonicity.

The latter fact is useful in proving the following converse to Proposition 10.

Proposition 12

Let \({\mathfrak {D}}\) be finite and closed under union. Then, Menu Order and Kreps Consistency imply Weak Cover Dominance.

We can then state a version of our result that has Kreps’s full-domain characterization as an immediate corollary.Footnote 14

Theorem 3

Let \({\mathfrak {D}}\) be finite and closed under union. Then, \(\succsim \) is rationalized by an order \(\mathrm {R}\) with \(G(\cdot ,\mathrm {R})\) nonempty if and only if Menu Order and Kreps Consistency hold.

Corollary 4

(Kreps 1979) Let X be finite and \({\mathfrak {D}}= {\mathfrak {X}}{\setminus } \{ \emptyset \}\). Then, \(\succsim \) is rationalized by an order if and only if Menu Order and Kreps Consistency hold.

Fig. 3
figure 3

Logical relationships between selected axioms. Each implication is labeled with the relevant result (e.g., “Prop.  9”), the required assumptions on menu preferences (e.g., “\(\succsim \) [is an] order”), and any necessary restrictions on the domain (e.g., “\({\mathfrak {D}}\) [is] finite”)

Selected axioms and implications are summarized in Fig. 3. When the domain is both finite and closed under union, any of the four conditions shown suffices (together with Menu Order) to characterize rationalizability. If the domain is not closed under union, then Kreps Consistency no longer suffices, and if \({\mathfrak {D}}\) is not finite then Weak Cover Dominance too is inadequate. For general domains, the desired axiomatization is supplied by either Cover Dominance or Implicit Optima. The latter condition employs an existential quantifier and so can be seen as less attractive in terms of falsifiability. For this reason, we use Cover Dominance in the statement of Theorem 1.Footnote 15

4.3 Analogy with rationalizability of choice functions

Several aspects of our investigation of rationalizable menu preferences have counterparts in the theory of rationalizable choice functions. Here, we briefly outline the analogy between these two frameworks, assuming in the text for expository purposes that the domain \({\mathfrak {D}}\) is both finite and closed under union.

A choice function over \({\mathfrak {D}}\) is a \(C : {\mathfrak {D}}\rightarrow {\mathfrak {X}}{\setminus } \{ \emptyset \}\) such that \(\forall A \in {\mathfrak {D}}\) we have \(C(A) \subset A\). The members of C(A) are interpreted as the options chosen from menu A. A rationalization of C is a relation \(\mathrm {R}\) on X such that \(C = G(\cdot ,\mathrm {R})\). Define the revealed meal-preference relation \(\bar{\mathrm {R}}\) by \(x \bar{\mathrm {R}}y\) if and only if \(\exists A \in {\mathfrak {D}}_{y}\) such that \(x \in C(A)\).

Recall that Weak Cover Dominance requires any menu weakly preferred to the elements of a cover to be weakly preferred to the target of the cover. The choice-theoretic counterpart of this requirement is a condition referred to by Tyson (2013, p. 955) as “extraction consistency”: Any alternative chosen from the elements of a cover must be chosen (if available) from the target of the cover.Footnote 16 Extraction consistency is necessary and sufficient for C to admit a rationalization, just as Weak Cover Dominance is necessary and sufficient for an order \(\succsim \) to admit a rationalization. Indeed, extraction consistency holds if and only if \(C = G(\cdot ,\bar{\mathrm {R}})\), just as Weak Cover Dominance holds if and only if .

Extraction consistency is equivalent to the conjunction of two conditions: The first, “contraction consistency,” says that any meal chosen from a larger menu must be chosen (if available) from a smaller menu, and is the analog of Monotonicity. The second, “weak expansion consistency,” says that any meal chosen from each menu in a collection must be chosen from the union of the collection, and is the analog of the following menu-preference axiom.Footnote 17

Condition 9

(Weak Union Dominance) Let \(A \in {\mathfrak {D}}\) and let \({\mathfrak {B}}\subset {\mathfrak {D}}\) be such that \(\bigcup {\mathfrak {B}}\in {\mathfrak {D}}\). If for each \(B \in {\mathfrak {B}}\) we have \(A \succsim B\), then \(A \succsim \bigcup {\mathfrak {B}}\).

We can now state a counterpart to the equivalence result for choice functions.

Proposition 13

If \({\mathfrak {D}}\) is closed under union and \(\succsim \) is a preorder, then Weak Cover Dominance is equivalent to the conjunction of Monotonicity and Weak Union Dominance.

With regard to rationalizability, there are two notable differences between the menu-preference and choice-function frameworks. The first concerns the ordering properties of the rationalizing relation \(\mathrm {R}\). Transitivity of \(\mathrm {R}\) is needed for our main result, in contrast to the characterization of rationalizable choice functions via extraction consistency. Moreover, in view of Propositions 12 we can ensure that \(\mathrm {R}\) has the relevant ordering properties simply by imposing these same properties on \(\succsim \), without modifying Cover Dominance. This differs from the choice-function setting, where extraction consistency must be strengthened to guarantee the existence of an order rationalization.Footnote 18

The second difference concerns the existence of an \(\mathrm {R}\)-greatest alternative on each menu. In the menu-preference setting, we deal with this issue directly, proving (in Proposition 4A) that the Implicit Optima condition follows from our axiomatization and including nonemptiness of \(G(\cdot ,\mathrm {R})\) in the statement of our results. Indeed, it is to capture precisely this requirement that we use Cover Dominance in Theorem 1 rather than Weak Cover Dominance (the more direct analog of extraction consistency). In the choice-function setting, on the other hand, nonemptiness of \(G(\cdot ,\mathrm {R})\) is ensured by nonemptiness of the primitive C together with the definition of a rationalization, independently of any axioms imposed.

Despite these differences, the theories of rationalizability for menu preferences and for choice functions have a considerable amount in common when formulated to allow arbitrary datasets, and this analogy may prove fruitful for future work in both areas.