{'fraction_non_alphanumeric': 0.042850040395252004, 'fraction_numerical': 0.019482940774345908, 'mean_word_length': 3.7798900935689885, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 9, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Set and revealed preference axioms for multi-valued choice

We consider choice correspondences that assign a subset to every choice set of alternatives, where the total set of alternatives is an arbitrary finite or infinite set. We focus on the relations between several extensions of the condition of independence of irrelevant alternatives on one hand, and conditions on the revealed preference relation on sets, notably the weak axiom of revealed preference, on the other hand. We also establish the connection between the condition of independence of irrelevant alternatives and so-called strong sets; the latter characterize a social choice correspondence satisfying independence of irrelevant alternatives.


Background
This paper contributes to a question with a long history. A (single-valued) choice function assigns to each choice set (i.e., subset of the set of all alternatives) an element of that choice set. The condition of independence of irrelevant alternatives (IIA) requires that if the alternative chosen from a choice set is still available in a subset of the choice set, then it should also be chosen from that subset. This condition already occurs as condition no. 7 in Nash's axiomatic bargaining model (1950). 1 Closely related is the Weak Axiom of Revealed Preference (WARP), which says that if x is chosen from some choice set where also y is available, then y should never be chosen from any choice set where also x is available. 2 Another way of phrasing this, is that the preference relation revealed by the choice function has no cycles of length two. As is well-known and easy to show, for collections of choice sets that are closed under nonempty intersection, IIA and WARP are equivalent. 3

This paper: main outlook
In this paper, we consider choice correspondences instead of choice functions: these assign to each choice set a nonempty subset, rather than a unique element. In the classical choice literature, often the expression 'choice function' is used where we use 'choice correspondence'. The main interpretation that we have in mind is that, indeed, a set is chosen, rather than a short-list from which later a singleton has to be chosen-for instance, a set of courses (starter, main, dessert) and a selection of wines in a restaurant; or a committee of fixed or variable size in a society or university. This differs from the, often employed, interpretation that the chosen set is a kind of preamble or, indeed, short-list for the final winner, although this interpretation is not excluded by our approach. 4 Our purpose is to consider extensions of IIA to this model, and their relation with an extended version of WARP. All these extensions can already be found in the existing literature, but we will establish some relations which, to the best of our knowledge, are new. Moreover, in the last part of the paper (Sect. 4) we study, in detail, choice correspondences that satisfy the strongest extension of IIA, by means of so-called strong sets: choice sets that uniquely determine the choice correspondence, as will be explained in more detail below.

Extensions of IIA
We consider three extensions of IIA for choice functions to choice correspondences.
The probably earliest extension of IIA to choice correspondences has again been proposed by Nash in an informal note in 1950 (see Shubik 1982, p. 420): if F is the choice correspondence, X is a choice set, and F(X) has a nonempty intersection with a subset Y of X, then F(Y) is equal to this intersection. The same condition also appears as Postulate 6 in Chernoff (1954) and Condition C4 in Arrow (1959). This extension is a natural one if the set of alternatives chosen by a choice correspondence is viewed as the set of best alternatives (in some sense or another) among the available ones: consequently, each of these alternatives is also best in any subset of available alternatives to which it belongs. We refer to this extension simply again as Independence of Irrelevant Alternatives (IIA). 5 The second extension we consider requires, in the same situation, that, F(Y) be contained in the intersection of F(X) and Y. Following a similar interpretation, F still chooses among the best alternatives, but not necessarily all available ones. Think of choosing a committee within a society: for a subset of the society one may need to choose a strictly smaller committee, even if more members of the original committee are still available. Or, in terms of a restaurant's menu choice, not only the lunch menu may be a subset of the dinner menu, but also lunch itself may be lighter than dinner: one may want to consume wine of just one kind instead of several, even if more kinds are still available. This extension appears as condition W2 in Schwartz (1976). Clearly, it is a weakening of the first extension, and we call it Weak IIA (WIIA).
The third extension to be considered, says the following. If Y is contained in X and contains F(X), then F(Y) is equal to F(X). One interpretation is clear: if we regard F(X) as the set of best choices from X, and all these choices are still available in a smaller set Y, then they are also the best choices in Y. In terms of the restaurant's menu: if the collection of available dishes decreases but the courses that we chose earlier are still available, then we choose them again. Clearly, this extension is another weakening of IIA, and we call it Restricted IIA (RIIA). Also this condition has appeared before in the literature. See Aizerman (Aizerman 1985, Definition 1), and for instance Johnson and Dean (Johnson and Dean 2001, Lemma 2). For the case of finitely many alternatives, it coincides with the 'attention filter' condition in Masatlioglu et al. (2012). It is also equivalent to 'Conditionâ' in Brandt and Harrenstein (2011), see below; and it appears as 'Irrelevance of Rejected Items' in Alva (2018). 6

Extension of WARP
As to revealed preference for sets, our main condition is the following. If, from some choice set Z, the subset X is chosen while also Y is available (i.e., Y is also a subset of Z), then Y should never be chosen from some other choice set Z 0 if also X is available. This is an obvious extension of the Axiom of Revealed Preference for choice functions to choice correspondences, and we use the same name for it, again abbreviated to WARP. The expression WARP is also used in Alva (2018) for the same condition. Brandt and Harrenstein (2011) consider the condition of 'setrationalizability', which looks very similar to WARP. Indeed, the two conditions turn out to be equivalent (see Sect. 2).

Our results
In Sect. 2, we formally introduce the model, and the conditions IIA, WIIA, RIIA, and WARP. The set of alternatives is an arbitrary finite or infinite set without any additional structure imposed.
In Sect. 3, we establish relations between these conditions. Theorem 3.1 says that RIIA and WARP are equivalent. This is in line with Theorem 1 in Alva (2018). It is also in line with results in Brandt and Harrenstein (2011). Specifically, they consider a property called Conditionâ and show (their Theorem 2) that this condition is equivalent to what they call 'set-rationalizability'. They also show (their Lemma 1) that Conditionâ is equivalent to RIIA (they do not use this name). Since RIIA is equivalent to WARP, it follows that their set-rationalizability condition is equivalent to WARP: i.e., it excludes cycles of length two in the revealed preference relation on choice sets.
We also show that IIA is stronger that WARP; Theorem 3.6 says, that IIA is equivalent to WARP combined with a condition called preference axiom (PA). 7 This condition PA says that if a set X is revealed preferred to a set Y and a subset Z of X contains the intersection of X and Y, then also Z is revealed preferred to Y. In the special case that X and Y are disjoint, PA thus implies that every subset of X is revealed preferred to Y. On a general note, consider the interpretation of a choice correspondence as picking the set of 'best' alternatives (from which, perhaps, later on a definite choice can be made, like in the case of a short-list). As mentioned, this interpretation is reflected in particular by IIA. Put differently, complementarities between alternatives are not considered. Revealed preference on sets, however, may reflect such complementarities. To illustrate this, suppose a diner must choose a meal from two dishes, steak s or fish f, and two wines, red r or white w. When everything is available the diner selects steak and red wine, hence Fðfs; f ; r; wgÞ ¼ fs; rg and fs; rg is revealed preferred to ff ; wg. However, if the restaurant runs out of red wine the diner selects fish and white wine, hence Fðfs; f ; wgÞ ¼ ff ; wg and ff ; wg is revealed preferred to fsg. 8 This is a violation of IIA but it is not difficult to extend the definition of F so that it satisfies WARP. Our axiom PA on revealed preference excludes such a situation: with X ¼ fs; rg, Y ¼ ff ; wg, and Z ¼ fsg, it would require that fsg is revealed preferred to ff ; wg.
We further show (Theorem 3.8) that IIA implies that the revealed preference relation is transitive and acyclic. 9 The remainder of Sect. 3 is devoted to studying the relation between WIIA and WARP. One of the results (Theorem 3.11) says that if the choice correspondence F is a projection (i.e., F ¼ F F), then WIIA implies WARP. In turn, WARP implies that F is a projection, as is also observed in Brandt and Harrenstein (2011). If the set of all alternatives is finite, then WIIA implies that a sufficiently often repeated version of the choice correspondence satisfies WARP (Corollary 3.13).
In Sect. 4, we return to the IIA condition and consider so-called 'strong sets'. A set of alternatives S is a strong set at a choice correspondence if to any choice set X which has a nonempty intersection with S, the choice correspondence assigns exactly this intersection. We show that under IIA these strong sets form a partition of the set of all alternatives, the elements of which are completely and acyclically ordered by the revealed preference relation (Theorem 4.6). This way, these strong sets characterize the (IIA) choice correspondence.
1.6 Further literature 1.6.1 Rationalizability Following a tradition initiated for consumer theory by Samuelson (1938) and Houthakker (1950), and continued for general choice problems by-among others- Arrow (1959) and Richter, (1966), there is a large literature focusing on 'rationalizability': when does a choice correspondence pick the set of those alternatives that are maximal for some binary relation on the set of alternatives? Arrow (1959) shows that a choice correspondence is rationalizable by a complete and transitive binary relation if and only if it satisfies IIA. Sen (1971) shows that a choice correspondence is rationalizable by a binary relation if and only if it satisfies the Chernoff property (see Sect. 1.6.2) and a condition, proposed as Property c, but later also referred to as the Expansion condition (e.g., Moulin 1985). 10 Adding to this the Aizerman condition (see again Sect. 1.6.2) results in the choice correspondence being rationalizable by an ordering which is complete and has a transitive strict part (Schwartz 1976;Moulin 1988). Finally, Aizerman and Malishevski (1981) show that a choice correspondence satisfies both the Chernoff property and the Aizerman condition if and only if it is pseudo-rationalizable by a collection of single-valued, complete, and transitive orderings; that is, if in each choice set, the choice correspondence picks the maximal elements of all the orderings in this collection.
In our context, rationalizability would naturally mean that there is a binary relation on the set of choice sets (rather than single alternatives) such that the choice correspondence picks that subset from a choice set that is maximal according to this binary relation. In our model, this is equivalent to WARP. We refer to Theorem 1 in Alva (2018) for a formalization of this observation. A further requirement would be that this relation is representable by a (utility) function, but for this, the binary relation should be acyclic.

Other IIA extensions
Apart from IIA, WIIA, and RIIA, there are other possible extensions of IIA from choice functions to choice correspondences.
A fourth possible extension says that, if Y X and FðXÞ \ Y 6 ¼ ;, then F(Y) should at least contain the intersection of F(X) and Y. As an interpretation, it could be that additional best alternatives become available in the smaller set. For instance, a first preferred choice of wine from a restaurant's menu is no longer available, making a second preferred choice a best alternative (additional to the still available best menu choices). This condition has first been proposed as Postulate 4 in Chernoff (1954), and has consequently been referred to as the Chernoff property (e.g., Moulin 1985;1988). It also appears as Property a in Sen (1971).
Fifth, a still weaker version of the first three conditions is the following (e.g., This condition, studied in Aizerman and Malishevski (1981), is usually referred to as the Aizerman condition; it is implied by Condition W3 in Schwartz (1976).

Organization of the paper
In Sect. 2, we introduce the model and the main conditions on a choice correspondence that we consider. Section 3 studies the relations between these properties. Section 4 introduces the collection of strong sets and studies its relation with IIA. Section 5 concludes with a summary of the main results of the paper and a few open questions.

Model and properties
Let A be a finite or infinite set of alternatives and let A denote the set of its nonempty subsets. 11 A choice correspondence is a map F : A ! A such that FðXÞ X for every X 2 A. A choice correspondence F induces a binary relation R F A Â A (hence, on sets rather than single alternatives) by for all X; Y 2 A. In this case we say that X is revealed preferred to Y by F, and call R F the revealed preference relation of F. Observe that R F is reflexive, i.e., ðX; XÞ 2 R F for all X 2 A.
Later on, we also use the following definitions and notations. A binary relation R on a set X is transitive if ðx 1 ; x 2 Þ; ðx 2 ; x 3 Þ 2 R implies ðx 1 ; x 3 Þ 2 R for all distinct x 1 ; x 2 ; x 3 2 X. The binary relation R has a cycle of length n, where n 2 N n f1g, if there are distinct x 1 ; . . .; x n 2 X such that ðx i ; x iþ1 Þ 2 R for all i 2 f1; . . .; n À 1g and ðx n ; x 1 Þ 2 R; R is acyclic if, for every n 2 N n f1g, it has no cycle of length n.
For a choice correspondence F, we use the notation F n ðXÞ as shorthand for F Á Á Á FðXÞ, that is, the n-fold composition of F with itself.
In the sequel, we denote a generic choice correspondence by F and consequently, its revealed preference relation by R F .
We now introduce four properties of choice correspondences that we study in this paper. The first property is the standard notion of revealed preference adapted to the present context. As we will show in the next section, this condition is equivalent to 11 In particular, A is closed under nonempty intersection. the condition called 'set-rationalizability' in Brandt and Harrenstein (2011). It also appears in Alva (2018).
In conformity with the literature, in the revealed preference relation, WARP excludes cycles of length two 12 but does not exclude longer cycles 13 . For completeness, we provide the following example of a choice correspondence satisfying WARP, which contains a cycle of length three, but cycles of arbitrary length can be easily constructed in similar examples.
Example 2.1 Let A ¼ fa; b; cg and define F by It can be easily checked that F satisfies WARP. However, R F contains a cycle of length three since ðfag; fbgÞ; ðfbg; fcgÞ; ðfcg; fagÞ 2 R F . 14 / The other three properties are the announced extensions of the IIA condition for choice functions to choice correspondences. The first extension has first been proposed by Nash (cf. Shubik 1982), and occurs also in Chernoff (1954) and Arrow (1959).
The second extension requires the following. Given a set X, if F(X) is the set chosen, then from every subset of X that has a nonempty intersection with F(X), only alternatives in F(X) are chosen. This property appears as condition W2 in Schwartz (1976).
Weak independence of irrelevant alternatives (WIIA) For all X; Y 2 A such that Y X, if FðXÞ \ Y 6 ¼ ;, then FðYÞ FðXÞ.
The third extension requires that, given a set X, if F(X) is the set chosen, then from every subset of X that contains F(X), exactly the alternatives of F(X) are chosen. It appears as Postulate 5* in Chernoff (1954), as condition O in Aizerman and Malishevski (1981) (see also Aizerman 1985), as the 'strong superset property' in Bordes (1979), and as the 'outcast' property in Aizerman and Aleskerov (1995). More recently, the property also appears as 'irrelevance of rejected items' in Alva (2018), and in Brandt and Harrenstein (2011)-see the next section.
Restricted independence of irrelevant alternatives (RIIA) For all X; Y 2 A such that Y X, if FðXÞ Y, then FðYÞ ¼ FðXÞ.
Obviously, IIA implies both WIIA and RIIA. The last two conditions are independent: see Examples 3.9 and 3.10.

WARP, IIA, WIIA, and RIIA
In this section, we study the four properties introduced in Sect. 2, and focus on the relations between WARP on the one hand and IIA, WIIA, and RIIA, on the other.

WARP and RIIA
The first result in this subsection is the (non-novel) observation that WARP and RIIA are equivalent. Since for single-valued choice functions, the conditions of IIA and WARP are equivalent (in a domain closed under intersection such as ours), in this respect RIIA can be seen as the appropriate extension of IIA for choice functions to choice correspondences. Proof For the only-if direction, suppose F satisfies WARP. Let X; Y 2 A with FðXÞ Y X. We show that FðYÞ ¼ FðXÞ. Since ðFðXÞ; Y 0 Þ 2 R F for all Y 0 Y, we have in particular that ðFðXÞ; FðYÞÞ 2 R F . Since FðXÞ Y, we also have ðFðYÞ; FðXÞÞ 2 R F . Hence by WARP, FðXÞ ¼ FðYÞ.
For the if-direction, suppose F satisfies RIIA. Take X; Y; Z; Z 0 2 A such that  Chernoff (1954) and appears as Property a in Sen (1971). See also Moulin (1985;1988) for studies of this property. Brandt and Harrenstein (2011) then prove (their Theorem 2) that, in turn, Conditionâ is equivalent to the following condition.
Set-rationalizability There exists a binary relation R on A, with strict part P, 15 such that for all X; Z 2 A, This axiom implies that, if X and Y are disjoint, then every nonempty subset of X is revealed preferred to Y-this would be natural in case the choice correspondence picks those alternatives (from some set Z containing both X and Y) that are maximal according to some criterion. Under this interpretation, at least any subset of X that contains the intersection of X and Y, i.e., the 'maximal' alternatives of Y, should still be revealed preferred to Y, and this is exactly what PA says.
We now have the following characterization of IIA.

Theorem 3.6 F satisfies IIA if and only if it satisfies WARP and PA.
Proof (a) Let F satisfy IIA. Then, F satisfies WARP by Lemma 3.4. We show that F satisfies PA. Let distinct X; Y; Z 2 A such that X \ Y Z X and ðX; YÞ 2 R F . Since ðX; YÞ 2 R F , there is a U 2 A such that X ¼ FðUÞ and Y U. Since Let F satisfy WARP and PA. We show that F satisfies IIA. Let X; Y 2 A with Y X and FðXÞ \ Y 6 ¼ ;. Since FðYÞ Y X, it follows that ðFðXÞ; FðYÞÞ 2 R F . In addition, ðFðXÞ \ FðYÞÞ ðFðXÞ \ YÞ FðXÞ, so that by PA, ðFðXÞ \ Y; FðYÞÞ 2 R F . But also, FðXÞ \ Y Y implies ðFðYÞ; FðXÞ \ YÞ 2 R F . Hence, by WARP, FðYÞ ¼ FðXÞ \ Y. Thus, F satisfies IIA. h In Example 3.5, F satisfies WARP but not IIA. Hence it follows from Theorem 3.6 that F does not satisfy PA either. This can also be easily established directly. E.g., in Example 3.5, let X ¼ fa; b; cg, Y ¼ fbg, and Z ¼ fa; bg, then ðX; YÞ 2 R F but ðZ; YÞ 6 2 R F . The next example shows that PA does not imply IIA or WARP.
Example 3.7 Let A ¼ fa; b; c; dg and define F by if X fb; c; dg and b 2 X fcg if X fc; dg and c 2 X fdg if X ¼ fdg: It is straightforward to show that F satisfies PA. Since fa; bg fa; b; c; dg, fa; bg \ Fðfa; b; c; dgÞ 6 ¼ ;, and Fðfa; bgÞ ¼ fag, it follows that F does not satisfy IIA, and by Theorem 3.6, it also does not satisfy WARP. / For (single-valued) choice functions on a collection of choice sets that is closed under nonempty intersection, IIA or, equivalently, WARP does not necessarily imply acyclicity of the revealed preference relation. 17 For choice correspondences (including choice functions) on the collection of all nonempty subsets of a set of alternatives, IIA implies WARP (Theorem 3.6) and, moreover, transitivity and acyclicity of the revealed preference relation, as the next result shows.
Theorem 3.8 Let F satisfy IIA. Then R F is transitive and acyclic.

WIIA
We first show by two examples that WIIA and WARP (or RIIA) are logically independent.
Example 3.9 Let A ¼ N and define F by The converse of Theorem 3.11 does not hold. If F satisfies WARP then by Corollary 3.2 it is a projection, but Example 3.10 shows that WIIA does not have to hold.
The following result shows that if F satisfies WIIA, then so does every n-fold composition of F with itself. As a corollary, we will obtain that for a finite set of alternatives A, WIIA implies that F jAjÀ1 satisfies WARP.
Lemma 3.12 Let F satisfy WIIA and let n 2 N with n ! 2. Then F n satisfies WIIA.
Proof The proof is based on induction: F 1 ¼ F satisfies WIIA, and assume that F k satisfies WIIA for every k ¼ 2; . . .; n À 1. Let X; Y 2 A with Y X and F n ðXÞ \ Y 6 ¼ ;. We show that F n ðYÞ F n ðXÞ.
Corollary 3.13 Let A be finite and let F satisfy WIIA. Then F jAjÀ1 satisfies WARP.
Proof Since F jAjÀ1 is a projection, the result follows from Lemma 3.12 and Theorem 3.11. h If A is infinite, then an n as in the finite case does not necessarily exist. However, we may define F 1 by F 1 ðXÞ ¼ \ n2N F n ðXÞ for every X 2 A, assuming that this set is nonempty for every X 2 A. The following example shows that the last condition is not necessarily satisfied if F satisfies WIIA.
Example 3.14 Let A ¼ ½0; 1 and for every X 2 A, let m(X) be the maximal number in N [ f0g such that X ½0; 1 2 mðXÞ . We define F by It is easy to check that F satisfies WIIA. However, \ n2N F n ðA n f0gÞ ¼ \ n2N ð0; 1 2 n ¼ ;. / Remark 3.15 If F satisfies WIIA and F 1 is well defined, then it follows from Lemma 3.12 that F 1 satisfies WIIA. Namely, let X; Y 2 A, Y X, and F 1 ðXÞ \ Y 6 ¼ ;. Then in particular F n ðXÞ \ Y 6 ¼ ; for every n 2 N, so that by Lemma 3.12 we have Even, however, if F 1 is well-defined, and F and thus F 1 satisfy WIIA, F 1 does not have to be a projection. For instance, let A ¼ fÀ1; 0g [ f 1 2 n j n 2 Ng. Define F by & Then, F 1 is well-defined, and both F and F 1 satisfy WIIA. Since F 1 ðAÞ ¼ fÀ1; 0g and F 1 ðfÀ1; 0gÞ ¼ fÀ1g, we have F 1 F 1 ðAÞ ¼ fÀ1g 6 ¼ F 1 ðAÞ. Hence, F 1 F 1 6 ¼ F 1 . In particular, by Corollary 3.2, F 1 does not satisfy WARP. / We have already seen (Examples 3.9 and 3.10) that WIIA and WARP are logically independent. The same is true for WIIA and PA. In Example 3.9, F satisfies WIIA but not PA. The following example shows that PA does not imply WIIA.
Example 3.16 Let A ¼ fa; b; cg and define F by & In this case, F does not satisfy WIIA since Fðfa; bgÞ ¼ fa; bg 6 fag ¼ FðAÞ \ fa; bg. To show that F satisfies PA, let X, Y, Z as in the statement of PA and V 2 A such that FðVÞ ¼ X and Y V. If jXj ¼ 1 then either V ¼ X and then Z ¼ X ¼ Y, a contradiction since Z 6 ¼ Y; or V ¼ A, which implies X ¼ fag and therefore Z ¼ fag ¼ X, so that ðZ; YÞ 2 R F . If jXj ¼ 2, then V ¼ X and Y X with jYj ¼ 1; this implies Z ¼ X and thus ðZ; YÞ 2 R F . /

Strong sets
In this section, we introduce so-called strong sets. We show that any IIA choice correspondence induces a collection of such strong sets, which is a partition of A, such that the revealed preference relation restricted to these strong sets is complete and acyclic (Theorem 4.6). Conversely, each partition of A ordered by a binary relation with these properties, defines a unique IIA choice correspondence (Corollary 4.9). Moreover, we show how such strong sets may be constructed (Lemma 4.8, Remark 4.10). A set S 2 A is a strong set if the following holds: for every choice set where some alternatives that are also in S, are chosen, all the available alternatives of S are chosen, and only these. Formally, we have the following definition.
Definition 4.1 S 2 A is a strong set of choice correspondence F if for all X 2 A for which FðXÞ \ S 6 ¼ ;, we have FðXÞ ¼ S \ X. The set of strong sets at F is denoted by S F . By R S F ¼ fðX; YÞ 2 R F j X; Y 2 S F g we denote the restriction of R F to S F . / Before going into the formalities, we describe how these strong sets are generated by an IIA choice correspondence F, for the case where A is finite. Construct the sequence of sets starting with S 1 ¼ FðAÞ, next S 2 ¼ FðA n S 1 Þ, next S 3 ¼ FðA n ðS 1 [ S 2 ÞÞ, etc. Then for a choice set X 2 A, take the first set in this sequence with which X has a nonempty intersection: then F(X) is equal to this intersection. In this case, the sets thus constructed are exactly all the strong sets; we formally show this in Lemma 4.8 below.
Example 4.2 Let A ¼ fx 1 ; . . .; x m g be a finite set, and let Q be a weak ordering on A (i.e., a complete and transitive binary relation). For every X 2 A let F(X) be the set of elements in X that are maximal-ranked highest-according to Q. Let S k be the set of elements of A that are ranked at position k according to Q. Then the sets S k , where k is at most m, are exactly the strong sets of F. Observe that S 1 ¼ FðAÞ, For the case where A is infinite, we can define a sequence of sets in the same way, and all these will be strong sets, but we may not find all strong sets: see Remark 4.10 below.
We now first show that strong sets are pairwise disjoint, and next that R S F is complete and acyclic if F satisfies IIA. Lemma 4.3 Let S; T 2 S F with S 6 ¼ T. Then S \ T ¼ ;.
Without loss of generality assume that FðZÞ \ S 6 ¼ ;. Then Lemma 4.4 Let F satisfy IIA. Then R S F is complete and acyclic.
Proof Let S; T 2 S F with S 6 ¼ T. By the definition of S F , FðS [ TÞ 2 fS; Tg; hence, R S F is complete. Without loss of generality assume that FðS [ TÞ ¼ S, hence ðS; TÞ 2 R S F . We show that ðT; SÞ 6 2 R S F , which implies that R S F has no cycles of length 2. To show this, let Z 2 A with S [ T Z. If ðS [ TÞ \ FðZÞ 6 ¼ ;, then by IIA, S ¼ FðS [ TÞ ¼ ðS [ TÞ \ FðZÞ. Since S 2 S F , this implies that FðZÞ ¼ S.
Since Z was arbitrary, we have ðT; SÞ 6 2 R S F .
To show that R S F has also no cycles of length larger than 2, it is sufficient to prove that it is transitive. Let ðS; TÞ; ðT; VÞ 2 R S F for distinct S; T; V 2 S F . Then for The next technical lemma is needed in the proof of the theorem below.
Lemma 4.5 Let choice correspondence F satisfy IIA, and let ; 6 ¼ Z A such that \ Z2Z FðZÞ 6 ¼ ;. It is straightforward to verify that S F ¼ fFðAÞ; A n FðAÞg, which is a partition of A. Also, R S F ¼ fðFðAÞ; A n FðAÞÞg. (In fact, it is not difficult to show that F satisfies WARP and is a projection.) Let X; Y 2 A such that FðAÞ X, Y X, Y 6 FðAÞ, FðAÞ 6 Y, and Y \ FðAÞ 6 ¼ ;. Then FðXÞ ¼ FðAÞ but FðYÞ ¼ Y n FðAÞ 6 Y \ FðAÞ ¼ Y \ FðXÞ. Hence, F does not satisfy IIA. / As mentioned above, if the set A of all alternatives is finite, then the collection of strong sets of an IIA choice correspondence is easily constructed, as follows. Let S 0 ¼ ; and, recursively, In that case, fS 1 ; . . .; S ' g is a partition of A. We have: Lemma 4.8 Let A be finite. If F satisfies IIA, then S F ¼ fS 1 ; . . .; S ' g and S i R S F S j for all i; j 2 f1; . . .; 'g with i\j.
Proof Let F satisfy IIA. The second statement follows directly from the construction of the sets S i . For the first statement, it is in view of Lemma 4.3 sufficient to prove that each element of fS 1 ; . . .; S ' g is a strong set. Let k 2 f1; . . .; 'g and X 2 A such that FðXÞ \ S k 6 ¼ ;. By repeated application of IIA it follows that Hence, S k is a strong set. h A converse of Lemma 4.8, for general sets A, is the following corollary, which says that every 'well-ordered' partition of A induces a unique IIA choice correspondence.
Corollary 4.9 Let T be a partition of A and let R be a reflexive, complete, and acyclic binary relation on T such that for every X 2 A the collection fT 2 T j T \ X 6 ¼ ;g has a maximal element T X with respect to R. 18 Then F, defined by FðXÞ ¼ X \ T X for all X 2 A, satisfies IIA, S F ¼ T , and R S F ¼ R. Moreover, if G satisfies IIA, S G ¼ T , and R S G ¼ R, then G ¼ F.
Proof The statements about F are straightforward. Let G be as in the lemma, and X 2 A. We prove that GðXÞ ¼ X \ T X . For this, by IIA, it is sufficient to prove that GðT X [ ð[ T2T :T X RT TÞÞ ¼ T X . If this were not true, then the definition of strong sets would imply GðT X [ ð[ T2T :T X RT TÞÞ ¼ T 0 6 ¼ T X for some T 0 2 T with T X R T 0 , in contradiction with R ¼ R S G . h We conclude with a remark about the construction of all strong sets.
Remark 4.10 For infinite A the construction above, resulting in the sets S 1 ; S 2 ; . . ., does not necessarily produce all strong sets, or, equivalently, does not necessarily result in a partition of A. For instance, let A ¼ N, E ¼ f2; 4; . . .g and define F by for all X 2 A. Choice correspondence F satisfies IIA, and S i ¼ f2ig for every i ¼ 1; 2; . . . However, the collection of strong sets is fS 1 ; S 2 ; . . .; T 1 ; T 2 ; . . .g, where T i ¼ f2i À 1g for every i ¼ 1; 2; . . . , S i R F S j and T i R F T j for all i, j with i\j, and S i R F T j for all i, j. Observe that this collection can be constructed by first determining the sets S i and then repeating the construction starting with the set A n [ 1 i¼1 S i ¼ A n E ¼ f1; 3; . . .g. More generally, the collection of strong sets is a well-ordered set and therefore it is isomorphic to an ordinal number (e.g., Theorem 2.12 in Jech 2002). 19 Conversely, with every ordinal number we can associate a collection of strong sets of an IIA choice correspondence. /

Concluding remarks
The main results of the paper are summarized in Table 1. The main feature distinguishing these results from the existing literature is that preferences over sets rather than singletons are considered. We also repeat that the results in Sect. 3.1 are not new, but appear (with different terminology) in the literature. No additional structure on the set of alternatives is presumed. Of course, more specific results may be attainable if this set has more structure.
An open question is how to obtain a set-theoretic characterization of WIIA choice correspondences. In an earlier version of this paper 20 we introduced the concept of weak sets, and although some of the results obtained for IIA correspondences and strong sets have analogues for WIIA correspondences and weak sets, these weak sets do not fully determine the correspondence; in other words, we do not obtain an analogue of Corollary 4.9. A similar question can be asked with respect to RIIA choice correspondences. Other open questions concern the implications of still other IIA-extensions, such as the extensions discussed in Sect. 1.6.2.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/.