Interpreting, axiomatising and representing
coherent choice functions
in terms of desirability
Abstract.
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the setvalued choices that appear in impreciseprobabilistic decision making. We provide these choice functions with a clear interpretation in terms of desirability, use this interpretation to derive a set of basic coherence axioms, and show that this notion of coherence leads to a representation in terms of sets of strict preference orders. By imposing additional properties such as totality, the mixing property and Archimedeanity, we obtain representation in terms of sets of strict total orders, lexicographic probability systems, coherent lower previsions or linear previsions.
1. Introduction
Choice functions provide an elegant unifying mathematical framework for studying setvalued choice: when presented with a set of options, they generally return a subset of them. If this subset is a singleton, it provides a unique optimal choice or decision. But if the answer contains multiple options, these are incomparable and no decision is made between them. Such setvalued choices are a typical feature of decision criteria based on impreciseprobabilistic uncertainy models, which aim to make reliable decisions in the face of severe uncertainty. Maximality and Eadmissibility are wellknown examples. When working with a choice function, however, it is immaterial whether it is based on such a decision criterion. The primitive objects on this approach are simply the setvalued choices themselves, and the choice function that represents all these choices serves as an uncertainty model in and by itself.
The seminal work by Seidenfeld et al. [17] has shown that a strong advantage of working with choice functions is that they allow us to impose axioms on choices, aimed at characterising what it means for choices to be rational and internally consistent. This is also what we want to do here, but we believe our angle of approach to be novel and unique: rather than think of choice intuitively, we provide it with a concrete interpretation in terms of desirability [4, 26, 8, 7] or binary preference [15]. Another important feature of our approach is that we consider a very general setting, where the options form an abstract real vector space; horse lotteries and gambles correspond to special cases.
The basic structure of our paper is as follows. We start in Section 2 by introducing choice functions and our interpretation for them. Next, in Section 3, we develop an alternative but equivalent way of describing these choice functions: sets of desirable option sets. We use our interpretation to suggest and motivate a number of rationality, or coherence, axioms for such sets of desirable option sets, and show in Section 4 what are the corresponding coherence axioms for choice (or rejection) functions. Section 5 deals with the special case of binary choice, and its relation to the theory of sets of desirable options [4, 26, 8, 7] and binary preference. This is important because our main result in Section 6 shows that any coherent choice model can be represented in terms of sets of such binary choice models. In the remaining Sections 7–9, we consider additional axioms or properties, such as totality, the mixing property, and an Archimedean property, and prove corresponding representation results. This includes representations in terms of sets of strict total orders, sets of lexicographic probability systems, sets of coherent lower previsions and sets of linear previsions. To facilitate the reading, proofs and intermediate results have been relegated to the Appendix.
2. Choice functions and their interpretation
A choice function is a setvalued operator on sets of options. In particular, for any set of options , the corresponding value of is a subset of . The options themselves are typically actions amongst which a subject wishes to choose. We here follow a very general approach where these options constitute an abstract real vector space provided with a—socalled background—vector ordering and a strict version . The elements of are called options and is therefore called the option space. We let . The purpose of a choice function is to represent our subject’s choices between such options.
Our motivation for adopting this general framework where options are elements of abstract vector spaces, rather than the more familiar one that focuses on choice between, say, horse lotteries [2, 3, 11, 15, 17], is its applicability to various contexts.
A typical setup that is customary in decision theory, for example, is one where every option has a corresponding reward that depends on the state of a variable , about which the subject is typically uncertain. Hence, the reward is uncertain too. As a special case, therefore, we can consider that the variable takes values in some set of states . The reward that corresponds to a given option is then a function on . If we assume that this reward can be expressed in terms of a realvalued linear utility scale, this allows us to identify every act with a realvalued map on . These maps are often taken to be bounded and are then called gambles on . In that context, we can consider the different gambles on as our options, and the vector space as the set of all such gambles. Two popular vector orderings on then correspond to choosing
where represents the pointwise ordering of gambles, defined by
A more general framework, which allows us to dispense with the linearity assumption of the utility scale, consists in considering as option space the linear space of all bounded realvalued maps on the set , where is a (finite) set of rewards. Zaffalon and Miranda [27] have shown that, in a context of binary preference relations, this leads to a theory that is essentially equivalent to the classical horse lottery approach. It tends, however, to be more elegant, because a linear space is typically easier to work with than a convex set of horse lotteries. Van Camp [22] has shown that this idea can be straightforwardly extended from binary preference relations to the more general context of choice functions. We follow his lead in focusing on linear spaces of options here.
In both of the abovementioned cases, the options are still bounded realvalued maps. In fairly recent work, Van Camp et al. [22, 24] have shown that a notion of indifference can be associated with choice functions quite easily, by moving from the original option space to its quotient space with respect to the linear subspace of all options that are assessed to be equivalent to the zero option. Even when the original options are realvalued maps, the elements of the quotient space will be equivalence classes of such maps—affine subspaces of the original option space—which can no longer be straightforwardly identified with realvalued maps. This provides even more incentives for considering options to be vectors in some abstract linear space .
Having introduced and motivated our abstract option space , sets of options can now be identified with subsets of , which we call option sets. We restrict our attention here to finite option sets and will use to denote the set of all such finite subsets of , including the empty set.
Definition 1 (Choice function).
A choice function is a map from to such that for every .
Options in that do not belong to are said to be rejected. This leads to an alternative but equivalent representation in terms of rejection functions: the rejection function corresponding to a choice function is a map from to , defined by for all .
Alternatively, a rejection function can also be independently defined as a map from to such that for all . The corresponding choice function is then clearly defined by for all . Since a choice function is completely determined by its rejection function, any interpretation for rejection functions automatically implies an interpretation for choice functions. This allows us to focus on the former.
Our interpretation for rejection functions—and therefore also for choice functions—now goes as follows. Consider a subject whose uncertainty is represented by a rejection function , or equivalently, by a choice function . Then for a given option set , the statement that an option is rejected from —that is, that —is taken to mean that there is at least one option in that our subject strictly prefers over .
If we denote the strict preference of one option over another option by , this can be written succinctly as
(1) 
In this paper, such a statement—as well as statements such as those in Equations (2) and (3)—will be interpreted as providing information about a strict preference relation , that may or may not be known or specified. The only requirements that we impose on is that it should be a strict partial order that extends the background ordering and is compatible with the vector space operations on :

is irreflexive: for all , ;

is transitive: for all , and imply that also ;

for all , implies that ;

for all , implies that—so is equivalent with—;

for all and all , implies that—so is equivalent with—.
We then call such a preference ordering coherent. It follows from Axioms 1 and 4 that we can rewrite Equation (1) as
(2) 
where we use Axiom 4 for the first equivalence, and Axiom 1 for the second. Both equivalences can be conveniently turned into a single one if we no longer require that should belong to and consider statements of the form . Equation (2) then turns into
(3) 
So, according to our interpretation, the statement that is rejected from is taken to mean that the option set
(4) 
contains at least one option that, according to , is strictly preferred to the zero option .
3. Coherent sets of desirable option sets
A crucial observation at this point is that our interpretation for rejection functions does not require our subject to specify the strict preference . Instead, all that is needed is for her to specify option sets that—to her—contain at least one option that is strictly preferred to the zero option . Options that are strictly preferred to zero—so options for which —are also called desirable, which is why we will call such option sets desirable option sets and collect them in a set of desirable option sets . Our interpretation therefore allows a modeller to specify her beliefs by specifying a set of desirable option sets .
As can be seen from Equations (3) and (4), such a set of desirable option sets completely determines a rejection function and its corresponding choice function :
(5) 
Our interpretation, together with the basic Axioms 1 and 4, therefore allows the study of rejection and choice functions to be reduced to the study of sets of desirable option sets.
We let denote the set of all sets of desirable option sets , and consider any such . The first question to address is when to call coherent: which properties should we impose on a set of desirable option sets in order for it to reflect a rational subject’s beliefs? We propose the following axiomatisation, using as a shorthand notation for ‘, and ’.
Definition 2 (Coherence for sets of desirable option sets).
A set of desirable option sets is called coherent if it satisfies the following axioms:

if then also , for all ;

;

, for all ;

if and if, for all and , , then also^{1}^{1}1The following simple example might help the reader understand what this axiom allows for. Consider any two , let and choose , , and . Then if , it follows from Axiom 4 that also .

if and , then also , for all .
We denote the set of all coherent sets of desirable option sets by .
This axiomatisation is entirely based on our interpretation and the following three axioms for desirability:

is not desirable;

all are desirable;

if are desirable and , then is desirable.
Each of these three axioms follows trivially from our assumptions on the preference relation : 1 follows from 1, 2 follows from 3 and 3 follows from 2 and 5.^{2}^{2}2Conversely, under Axiom 4 for the preference relation , the three Axioms 1–3 imply the remaining Axioms 1–3 and 5.
That the coherence Axioms 1–5 are implied by our rationality requirements 1–3 for the concept of desirability, can now be seen as follows. Since a desirable option set is by definition a set of options that contains at least one desirable option, Axiom 5 is immediate. Axioms 1 and 2 follow naturally from 1, and Axiom 3 is an immediate consequence of 2. The argument for Axiom 4 is more subtle. Since and are two desirable option sets, there must be at least one desirable option and one desirable option . Since for these two options, the positive linear combination is again desirable by 3, at least one of the elements of the option set must be a desirable option. Hence, it must be a desirable option set.
4. Coherent rejection functions
Now that we have formulated our basic rationality requirements 1–5 for sets of desirable option sets , we are in a position to use their correspondence (5) with rejection functions to derive the equivalent rationality requirements for the latter.
Equation (5) already allows us to derive a first and very basic axiom for rejection functions—and a very similar one for choice functions, left implicit here—without imposing any requirements on sets of desirable option sets :

for all and , if and only if .
Alternatively, we can also consider a slightly different—but clearly equivalent—version that perhaps displays better the invariance of rejection functions under vector addition:

for all , and , if and only if .
When we do impose requirements on sets of desirable option sets , Equation (5) allows us to turn them into requirements for rejection (and hence also choice) functions. In particular, we will see in Proposition 4 below that our Axioms 1–5 imply that

, and for all ;

, for all ;

if such that and and if for all and , then also

if then also , for all .
Axiom 4 is Sen’s condition [18, 19]. Arthur Van Camp (private communication) has proved in a direct manner that Aizermann’s condition [1] can be derived from our Axioms 1–5 as well. Indirectly, this can also be inferred from our representation results further on; see Theorem 9 in Section 6, and the discussion following it.
Definition 3 (Coherence for rejection and choice functions).
Our next result establishes that these notions of coherence are perfectly compatible with the coherence for sets of desirable option sets that we introduced in Section 3.
Proposition 4.
Consider any set of desirable option sets and any rejection function that are connected by Equation (5). Then is coherent if and only if is.
We will from now on work directly with (coherent) sets of desirable option sets and will use the collective term (coherent) choice models for (coherent) choice functions, rejection functions, and sets of desirable option sets. Of course, our primary motivation for studying coherent sets of desirable option sets is their connection with the other two choice models. This being said, it should however also be clear that our results do not depend on this connection. The theory of sets of desirable option sets that we are about to develop can therefore be used independently as well.
5. The special case of binary choice
According to our interpretation, the statement that belongs to a set of desirable option sets is taken to mean that contains at least one desirable option. This implies that singletons play a special role: for any , stating that is equivalent to stating that is desirable. For any set of desirable option sets , these singleton assessments are captured completely by the set of options
(6) 
that, according to , are definitely desirable—preferred to . A set of desirable option sets that is completely determined by such singleton assessments is called binary.
Definition 5 (Binary set of desirable option sets).
We call a set of desirable option sets binary if
(7) 
In order to explain how any binary set of desirable option sets is indeed completely determined by , we need a way to associate a rejection function with sets of options such as . To that end, we consider the notion of a set of desirable options: a subset of whose interpretation will be that it consists of the options that our subject considers desirable. We denote the set of all such sets of desirable options by .
With any , our interpretation for rejection functions in Section 2 inspires us to associate a set of desirable option sets , defined by
(8) 
It turns out that a set of desirable options sets is binary if and only if it has the form , and the unique representing is then given by .
Proposition 6.
A set of desirable options sets is binary if and only if there is some such that . This is then necessarily unique, and equal to .
Just like we did for sets of desirable option sets in Section 3, we can use the basic rationality principles 1–3 for the notion of desirability—or binary preference—to infer basic rationality criteria for sets of desirable options. When they do, we call them coherent.
Definition 7 (Coherence for sets of desirable options).
A set of desirable options is called coherent if it satisfies the following axioms:^{3}^{3}3The Axioms 1–3 for sets of desirable options should not be confused with the rationality criteria 1–3 for our primitive notion of desirability—or binary preference. Like the Axioms 1–5, they are only derived from these primitive assumptions on the basis of their interpretation.

;

;

if and , then .
We denote the set of all coherent sets of desirable options by .
So a coherent set of desirable options is a convex cone [Axiom 3] in that does not contain [Axiom 1] and includes [Axiom 2]. Sets of desirable options are an abstract version of the sets of desirable gambles that have an important part in the literature on imprecise probability models [4, 8, 13, 26]. This abstraction was first introduced and studied in great detail in [7, 14].
Our next result shows that the coherence of a binary set of desirable option sets is completely determined by the coherence of its corresponding set of desirable options.
Proposition 8.
Consider any binary set of desirable option sets and let be its corresponding set of desirable options. Then is coherent if and only if is. Conversely, consider any set of desirable options and let be its corresponding binary set of desirable option sets, then is coherent if and only if is.
So the binary coherent sets of desirable option sets are given by , allowing us to call any coherent set of desirable option sets in nonbinary.
What makes coherent sets of desirable options —and hence also coherent binary sets of desirable option sets—particularly interesting is that they induce a binary preference order —a strict vector ordering—on , defined by
(9) 
The preference order is coherent—satisfies Axioms 1–5— and furthermore fully characterises : one can easily see that if and only if . Hence, coherent sets of desirable options and coherent binary sets of desirable option sets are completely determined by a single binary strict preference order between options. This is of course the reason why we reserve the moniker binary for choice models that are essentially based on singleton assessments.
6. Representation in terms of sets of desirable options
It should be clear—and it should be stressed—at this point that making a direct desirability assessment for an option typically requires more of a subject than making a typical desirability assessment for an option set : the former requires that our subject should state that is desirable, while the latter only requires the subject to state that some option in is desirable, but not to specify which. It is this difference—this greater latitude in making assessments—that guarantees that our account of choice is much richer than one that is purely based on binary preference. In the framework of sets of desirable option sets, it is for instance possible to express the belief that at least one of two options or is desirable, while remaining undecided about which of them actually is; in order to express this belief, it suffices to state that . This is not possible in the framework of sets of desirable options. Sets of desirable option sets therefore constitute a much more general uncertainty framework than sets of desirable options.
So while it is nice that there are sets of desirable option sets that are completely determined by a set of desirable options , such binary choice models are typically not what we are interested in here: using is equivalent to using here, so there is no benefit in using the more convoluted model to represent choice. No, it is the nonbinary coherent choice models that we have in our sights. If we replace such a nonbinary coherent set of desirable option sets by its corresponding set of desirable options , we lose information, because then necessarily . Choice models are therefore more expressive than sets of desirable options. But it turns out that our coherence axioms lead to a representation result that allows us to still use sets of desirable options, or rather, sets of them, to completely characterise any coherent choice model.
Theorem 9.
A set of desirable option sets is coherent if and only if there is a nonempty set of coherent sets of desirable options such that . The largest such set is then .
Due to the onetoone correspondence between coherent sets of desirable options and coherent preference orders , this representation result tells us that working with a coherent set of desirable option sets is equivalent to working with the set of those coherent preference orders for which . For the rejection function that corresponds to through Equation (5), means that is dominated in for all these representing coherent preference orders . Similarly, means that is undominated according to at least one of these representing coherent preference orders . This effectively tells us that our coherence axioms 1–5 for choice models characterise a generalised type of choice under Levi’s notion of Eadmissibility [9, 20, 24], but with representing preference orders that need not be total orders based on comparing expectations.
Interestingly, any potential property of sets of desirable option sets that is preserved under taking arbitrary intersections, and that the binary choice models satisfy, is inherited from the binary models through the representation result of Theorem 9. It is easy to see that this applies in particular to Aizermann’s condition [1].
7. Imposing totality
We have just shown that every coherent choice model can be represented by a collection of coherent sets of desirable options . This leads us to wonder whether it is possible to achieve representation using only particular types of coherent , and, if yes, for which types of coherent sets of desirable option sets —and hence for which types of rejection functions and choice functions —this is possible. In this section, we clear the air by starting with a rather simple case, where we restrict attention to total sets of desirable options , corresponding to total preference orders .
Definition 10 (Totality for sets of desirable options).
We call a set of desirable options total if it is coherent and

for all , either or .
The set of all total sets of desirable options is denoted by .
That the binary preference order corresponding to a total set of desirable options is indeed a total order can be seen as follows. For all such that , the property 1 implies that either or . Hence, for all , we have that either , or , which indeed makes a total order.
It was shown in [4, 8] that what we call total sets of desirable options here, are precisely the maximal or undominated coherent ones, i.e. those coherent that are not included in any other coherent set of desirable option sets: . The question of which types of binary sets of desirable option sets the total correspond to, is answered by the following definition and proposition.
Definition 11 (Totality for sets of desirable option sets).
We call a set of desirable option sets total if it is coherent and

for all .
The set of all total sets of desirable options is denoted by .
Proposition 12.
For any set of desirable options , is total if and only if is, so .
So a binary is total if and only if its corresponding is. For general total sets of desirable option sets , which are not necessarily binary, we nevertheless still have representation in terms of total binary ones.
Theorem 13.
A set of desirable option sets is total if and only if there is a nonempty set of total sets of desirable options such that . The largest such set is then .
This representation result shows that our total choice models correspond a generalised type of choice under Levi’s notion of Eadmissibility [9, 20], but with representing preference orders that are now maximal, or undominated. They correspond what Van Camp et al. [24, Section 4] have called Madmissible choice models. Our discussion above provides an axiomatic characterisation for such choice models.
We conclude our study of totality by characterising what it means for a rejection function to be total.
Proposition 14.
Consider any set of desirable option sets and any rejection function that are connected by Equation (5). Then is total if and only if is coherent and satisfies

, for all .
8. Imposing the mixing property
Totality is, of course, a very strong requirement, and it leads to a very special and restrictive type of representation. We therefore now turn to weaker requirements, and their consequences for representation. One such additional property, which sometimes pops up in the literature about choice and rejection functions, is the following mixing property [17, 22], which asserts that an option that is rejected continues to be rejected if one removes mixed options—convex combinations of other options in the option set:^{4}^{4}4Van Camp [22] refers to this property as ‘convexity’, but we prefer to stick to the original name suggested by Seidenfeld et al. [17] for the sake of avoiding confusion. We nevertheless want to point out that in a context that focuses on rejection rather than choice, the term ‘unmixing’ would be preferable, because the rejection is preserved under removing mixed options—whereas the choice is preserved under adding mixed options.

if then also , for all ,
where is the convex hull operator, defined by
(10) 
is the set of natural numbers, or in other words all positive integers, excluding , and is the set of all (strictly) positive reals. A rejection function that satisfies this mixing property is called mixing.
The following result characterises the mixing property in terms of the corresponding set of desirable option sets. We provide two equivalent conditions: one in terms of the convex hull operator, and one in terms of the operator, which, for any subset of , returns the set of all positive linear combinations of its elements:
(11) 
Proposition 15.
Consider any set of desirable option sets and any rejection function that are connected by Equation (5). Then is coherent and mixing if and only if is coherent and satisfies any—and hence both—of the following conditions:

if and , then also , for all ;

if and , then also , for all .
In the context of sets of desirable options in linear spaces, we prefer to use the operator because it fits more naturally with Axiom 3. We therefore adopt Axiom 1 as our definition for mixingness.
Definition 16 (Mixing property for sets of desirable option sets).
We call a set of desirable option sets mixing if it is coherent and satisfies 1. The set of all mixing sets of desirable options is denoted by .
We now proceed to show that these mixing sets of desirable option sets allow for a representation in terms of sets of desirable options that are themselves mixing, in the following sense.
Definition 17 (Mixing property for sets of desirable options).
We call a set of desirable options mixing if it is coherent and

for all , if , then also .
We denote the set of all mixing sets of desirable options by .
The binary elements of are precisely the ones based on such a mixing set of desirable options; they can be represented by a single element of .
Proposition 18.
For any set of desirable options , is mixing if and only if is, so .
For general mixing sets of desirable option sets that are not necessarily binary, we nevertheless still obtain a representation theorem analogous to Theorems 9 and 13, where the representing sets of desirable options are now mixing.
Theorem 19.
A set of desirable option sets is mixing if and only if there is a nonempty set of mixing sets of desirable options such that . The largest such set is then .
This representation result is akin to the one proved by Seidenfeld et al [17], but without the additional condition of weak Archimedeanity they impose. In order to better explain this, and to provide this result with some extra intuition, we take a closer look at the mixing sets of desirable options that make up our representation. The following result is an equivalent characterisation of such sets.
Proposition 20.
Consider any set of desirable options and let . Then is mixing if and only if .
So we see that the coherent sets of desirable options that are also mixing are precisely those whose complement is again a convex cone.^{5}^{5}5Recall that coherent sets of desirable options are convex cones because of Axiom 3. They are therefore identical to the lexicographic sets of desirable options sets introduced by Van Camp et al. [22, 23]. What makes this particularly relevant and interesting is that these authors have shown that when is the set of all gambles on some finite set and , then the sets of desirable options in that are lexicographic—and therefore mixing—are exactly the ones that are representable by some lexicographic probability system that has no nontrivial Savagenull events. This is, of course, the reason why they decided to call such coherent sets of desirable options lexicographic. Because of this connection, it follows that in their setting, Theorem 19 implies that every mixing choice model can be represented by a set of lexicographic probability systems.
Due to the equivalence between coherent lexicographic sets of desirable options and mixing ones on the one hand, and between total sets of desirable options and maximal coherent ones on the other, the following proposition is an immediate consequence of a similar result by Van Camp et al. [22, 23]. It shows that the total sets of desirable options constitute a subclass of the mixing ones: mixingness is a weaker requirement than totality.
Proposition 21.
Every total set of desirable options is mixing: .
By combining this result with Theorems 13 and 19, it follows that every total set of desirable options sets is mixing, and similarly for rejection and choice functions. So mixingness is implied by totality for nonbinary choice models as well. Since totality is arguably the more intuitive of the two, one might therefore be inclined to discard the mixing property in favour of totality. We have nevertheless studied the mixing property in some detail, because it can be combined with other properties, such as the notions of Archimedeanity studied in the next section. As we will see, this combination leads to very intuitive representation, where the role of lexicographic probability systems is taken over by expectation operators—called linear previsions.
9. Imposing Archimedeanity
There are a number of ways a notion of Archimedeanity can be introduced for preference relations and choice models [2, 3, 15, 17, 11]. Its aim is always to guarantee that the real number system is expressive enough, or more precisely, that the preferences expressed by the models can be represented by (sets of) realvalued probabilities and utilities, rather than, say, probabilities and utilities expressed using hyperreals. Here, we consider a notion of Archimedeanity that is close in spirit to an idea explored by Walley [25, 26] in his discussion of socalled strict desirability.
For the sake of simplicity, we will restrict ourselves to a particular case of our abstract framework,^{6}^{6}6It is possible to introduce a version of our notion of Archimedeanity in our general framework as well, but explaining how this works would take up much more space than we are allowed in this conference paper. where is the set of all gambles on a set of states and . We identify every real number with the constant gamble that takes the value , and then define Archimedeanity as follows.
Definition 22 (Archimedean set of desirable options).
We call a set of desirable options Archimedean if it is coherent and satisfies the following openness condition:

for all , there is some such that .
We denote the set of all Archimedean sets of desirable options by , and let be the set of all Archimedean sets of desirable options that are also mixing.
What makes Archimedean and mixing Archimedean sets of desirable options particularly interesting, is that they are in a onetoone correspondence with coherent lower previsions and linear previsions [25], respectively.
Definition 23 (Coherent lower prevision and linear prevision).
A coherent lower prevision on is a realvalued map on that satisfies

for all ;

for all and ;

for all ;
A linear prevision on is a coherent lower prevision that additionally satisfies

for all ;
We denote the set of all coherent lower previsions on by and let be the subset of all linear previsions.
In order to make the abovementioned onetoone correspondences explicit, we introduce the following maps. With any set of desirable options in , we associate a (possibly extended) real functional on , defined by
(12) 
Conversely, with any (possibly extended) real functional on , we associate a set of desirable options
(13) 
Our next result shows that these two maps lead to an isomorphism between and , and similarly for and .
Proposition 24.
For any Archimedean set of desirable options , is a coherent lower prevision on and . If is moreover mixing, then is a linear prevision. Conversely, for any coherent lower prevision on , is an Archimedean set of desirable options and . If is furthermore a linear prevision, then is mixing.
The import of these correspondences is that any representation in terms of sets of Archimedean (mixing) sets of desirable options is effectively a representation in terms of sets of coherent lower (or linear) previsions. As we will see, these kinds of representations can be obtained for sets of desirable option sets—and hence also rejection and choice functions—that are themselves Archimedean in the following sense.
Definition 25 (Archimedean set of desirable option sets).
We call a set of desirable option sets Archimedean if it is coherent and satisfies

for all , there is some such that .
We denote the set of all Archimedean sets of desirable option sets by , and let be the set of all Archimedean sets of desirable options that are also mixing.
This notion easily translates from sets of desirable option sets to rejection functions.
Proposition 26.
Consider any set of desirable option sets and any rejection function that are connected by Equation (5). Then is Archimedean if and only if is coherent and satisfies

for all and such that , there is some such that .
A first and basic result is that our notion of Archimedeanity for sets of desirable option sets is compatible with that for sets of desirable options.
Proposition 27.
For any set of desirable options , is Archimedean (and mixing) if and only if is, so and .
In order to state our representation results for Archimedean choice models that are not necessarily binary, we require a final piece of machinery: a topology on and , or equivalently, a notion of closedness. We do this by defining the convergence of a sequence of Archimedean sets of desirable options in terms of the pointwise convergence of the corresponding sequence of coherent lower previsions:
(14) 
A set of Archimedean sets of desirable options is then called closed if it contains all of its limit points, or equivalently, if the corresponding set of coherent lower previsions—or linear previsions when —is closed with respect to pointwise convergence.
Our final representation results state that a set of desirable option sets is Archimedean if and only if it can be represented by such a closed set, and if is moreover mixing, the elements of the representing closed set are as well.
Theorem 28 (Representation for Archimedean choice functions).
A set of desirable option sets is Archimedean if and only if there is some nonempty closed set of Archimedean sets of desirable options such that . The largest such set is then .
Theorem 29 (Representation for Archimedean mixing choice functions).
A set of desirable option sets is mixing and Archimedean if and only if there is some nonempty closed set of mixing and Archimedean sets of desirable options such that . The largest such set is then .
If we combine Theorem 29 with the correspondence result of Proposition 24, we see that Axioms 1–5 together with 1 and 1 characterise exactly those choice models that are based on Eadmissibility with respect to a closed—but not necessarily convex—set of linear previsions. In much the same way, Theorem 28 can be seen to characterise a generalised notion of Eadmissibility, where the representing objects are coherent lower previsions. Walley–Sen maximality [20, 25] can be regarded as a special case of this generalised notion, where only a single representing coherent lower prevision is needed.
10. Conclusion
The main conclusion of this paper is that the language of desirability is capable of representing nonbinary choice models, provided we extend it with a notion of disjunction, allowing statements such as ‘at least one of these two options is desirable’. When we do so, the resulting framework of sets of desirable options turns out to be a very flexible and elegant tool for representing setvalued choice. Not only does it include Eadmissibility and maximality, it also opens up a range of other types of choice functions that have so far received little to no attention. All of these can be represented in terms of sets of strict preference orders or—if additional properties are imposed—in terms of sets of strict total orders, sets of lexicographic probability systems, sets of coherent lower previsions or sets of linear previsions.
Another important conclusion is that our axiomatisation for general (possibly nonbinary) choice models allows for representations in terms of ‘atomic’ models, which in themselves represent binary choice. However, this should of course not be taken to mean that our choice models are essentially binary. Indeed, it follows readily from our representation theorems that the binary aspects of a nonbinary choice model are captured by the intersections of the representing sets of desirable options, but the representation is much more powerful than that, because it also extends to the nonbinary aspects of choice.
This distinction between the binary level and the nonbinary one also leads us to the following important words of caution, which are akin to an earlier observation made by Quaeghebeur [12]. At the binary level, choice is represented by a set of desirable options, which can—under certain assumptions such as Archimedeanity—be identified with a convex closed set of linear previsions. We have also seen in Theorem 29 that the (binary and nonbinary) aspects of mixing and Archimedean choice can be fully represented by a closed set of mixing and Archimedean sets of desirable options, each of which is, by Proposition 24, equivalent to a linear prevision. So, in this case there is a representation in terms of a set of linear previsions both at the binary level and at the general (binary and nonbinary) level, but these two sets of linear previsions will typically be different, and they play a very different role. To put it very bluntly: sets of linear previsions Ã la Walley [25] should not be confused with sets of linear previsions—credal sets—Ã la Levi [9].
To conclude, what we have done here, in a very specific sense, is to introduce a way of dealing with statements of the type ‘there is some option in the option set that is strictly preferred to ’. Axioms such as 1–5 can then be seen as the logical axioms—for deriving new statements from old—that govern this language. Our representation theorems provide a semantics for this language in terms of desirability, and they show that the corresponding logical system is sound and complete.
In our future work on this topic, we intend to investigate how we can let go of the closedness condition in Theorems 28 and 29. We expect to have to turn to other types of Archimedeanity; variations on Seidenfeld et al.’s weak Archimedeanity [17, 5] come to mind. We also intend to show in more detail how the existing work on choice models for horse lotteries [17] fits nicely within our more general and abstract framework of choice on linear option spaces. And finally, we intend to further develop conservative inference methods for coherent choice functions, by extending our earlier natural extension results [6] to the more general setting that we have considered here.
Acknowledgements
This work owes a large intellectual debt to Teddy Seidenfeld, who introduced us to the topic of choice functions. His insistence that we ought to pay more attention to nonbinary choice if we wanted to take imprecise probabilities seriously, is what eventually led to this work.
The discussion in Arthur Van Camp’s PhD thesis [22] was the direct inspiration for our work here, and we would like to thank Arthur for providing a pair of strong shoulders to stand on.
As with most of our joint work, there is no telling, after a while, which of us two had what idea, or did what, exactly. We have both contributed equally to this paper. But since a paper must have a first author, we decided it should be the one who took the first significant steps: Jasper, in this case.
References
 [1] Mark A. Aizerman. New problems in the general choice theory. Social Choice and Welfare, 2(4):235–282, 1985.
 [2] Robert J. Aumann. Utility theory without the completeness axiom. Econometrica, 30:445–462, 1962.
 [3] Robert J. Aumann. Utility theory without the completeness axiom: a correction. Econometrica, 32:210–212, 1964.
 [4] Inés Couso and Serafín Moral. Sets of desirable gambles: conditioning, representation, and precise probabilities. International Journal of Approximate Reasoning, 52(7):1034–1055, 2011.
 [5] Fabio Gagliardi Cozman. Evenly convex credal sets. International Journal of Approximate Reasoning, 103:124–138, December 2018.
 [6] Jasper De Bock and Gert de Cooman. A desirabilitybased axiomatisation for coherent choice functions. In Uncertainty Modelling in Data Science (Proceedings of SMPS 2018), pages 46–53, 2018.
 [7] Gert de Cooman and Enrique Miranda. Irrelevance and independence for sets of desirable gambles. Journal of Artificial Intelligence Research, 45:601–640, 2012.
 [8] Gert de Cooman and Erik Quaeghebeur. Exchangeability and sets of desirable gambles. International Journal of Approximate Reasoning, 53(3):363–395, 2012. Special issue in honour of Henry E. Kyburg, Jr.
 [9] Isaac Levi. The Enterprise of Knowledge. MIT Press, London, 1980.
 [10] Sebastian Maaß. Exact functionals, functionals preserving linear inequalities, Lévy’s metric. PhD thesis, University of Bremen, 2003.
 [11] Robert Nau. The shape of incomplete preferences. Annals Of Statistics, 34(5):2430–2448, 2006.
 [12] Erik Quaeghebeur. Partial partial preference order orders. In Thomas Augustin, Serena Doria, Enrique Miranda, and Erik Quaeghebeur, editors, ISIPTA ’15: Proceedings of the Ninth International Symposium on Imprecise Probability: Theories and Applications, page 347.
 [13] Erik Quaeghebeur. Introduction to imprecise probabilities. chapter Desirability. John Wiley & Sons, 2014.
 [14] Erik Quaeghebeur, Gert de Cooman, and Filip Hermans. Accept & reject statementbased uncertainty models. International Journal of Approximate Reasoning, 57:69–102, 2015.
 [15] Teddy Seidenfeld, Mark J. Schervish, and Jay B. Kadane. A representation of partially ordered preferences. The Annals of Statistics, 23:2168–2217, 1995. Reprinted in [16], pp. 69–129.
 [16] Teddy Seidenfeld, Mark J. Schervish, and Jay B. Kadane. Rethinking the Foundations of Statistics. Cambridge University Press, Cambridge, 1999.
 [17] Teddy Seidenfeld, Mark J. Schervish, and Joseph B. Kadane. Coherent choice functions under uncertainty. Synthese, 172(1):157–176, 2010.
 [18] Amartya Sen. Choice functions and revealed preference. The Review of Economic Studies, 38(3):307–317, 1971.
 [19] Amartya Sen. Social choice theory: A reexamination. Econometrica, 45:53–89, 1977.
 [20] Matthias C. M. Troffaes. Decision making under uncertainty using imprecise probabilities. International Journal of Approximate Reasoning, 45(1):17–29, 2007.
 [21] Matthias C. M. Troffaes and Gert de Cooman. Lower Previsions. Wiley, 2014.
 [22] Arthur Van Camp. Choice Functions as a Tool to Model Uncertainty. PhD thesis, Ghent University, Faculty of Engineering and Architecture, 2018.
 [23] Arthur Van Camp, Gert de Cooman, and Enrique Miranda. Lexicographic choice functions. International Journal of Approximate Reasoning, pages 97–119, 2018.
 [24] Arthur Van Camp, Gert De Cooman, Enrique Miranda, and Erik Quaeghebeur. Modelling indifference with choice functions. In Thomas Augustin, Serena Doria, Enrique Miranda, and Erik Quaeghebeur, editors, ISIPTA ’15 : proceedings of the ninth international symposium on imprecise probability : theories and applications, pages 305–314. Society for Imprecise Probability: Theories and Applications, 2015.
 [25] Peter Walley. Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London, 1991.
 [26] Peter Walley. Towards a unified theory of imprecise probability. International Journal of Approximate Reasoning, 24:125–148, 2000.
 [27] Marco Zaffalon and Enrique Miranda. Axiomatising incomplete preferences through sets of desirable gambles. Journal Of Artificial Intelligence Research, 60:1057–1126, 2017.
Appendix A Proofs and intermediate results
a.1. Terminology and notation used only in the appendix
For any subset of we consider its set of linear combinations, or linear span
We also consider several operators on—transformations of—the set of all sets of desirable option sets. The first is denoted by , and allows us to add smaller option sets by removing from any option set elements of :
The second is denoted by , and allows us to add smaller option sets by removing from any option set positive combinations from some of its other elements:
The final one is denoted by —not to be confused with —and defined for all by
(15) 
where we use the notations and for tuples of options and real numbers , , so and . We also use ‘’ as a shorthand for ‘ for all and ’.
a.2. Proofs and intermediate results for Section 5
Proof of Proposition 6.
First assume that there is some such that . Then for all :
It therefore follows from Definition 5 that is binary.
Furthermore, for any , we find that
So we find that is equal to , and therefore necessarily unique.
Finally, we assume that is binary. Let . Then for all :
where the first equivalence follows from Definition 5 and the fact that is binary. Hence, we find that . ∎
Corollary 30.
A set of desirable option sets is binary if and only if .
Proof.
Immediate consequence of Proposition 6. ∎
Proposition 31.
For any coherent set of desirable option sets , is a coherent set of desirable options, and .
Proof.
We first prove that is coherent, or equivalently, that it satisfies Axioms 1–3. For Axiom 1, observe that implies that , contradicting Axiom 2. For Axiom 2, observe that for any , is equivalent to , and take into account Axiom 3. And, finally, for Axiom 3, observe that implies that , and that Axiom 4 then implies that , or equivalently, that , for any choice of .
For the last statement, consider any , meaning that . Consider any , then on the one hand , so . But since on the other hand also , we see that , and therefore Axiom 5 guarantees that . ∎
Proposition 32.
For any set of desirable options , . If, moreover, is coherent, then is a coherent set of desirable option sets.
Proof.
For the first statement, simply observe that
For the second statement, assume that is coherent, then we need to prove that is coherent, or equivalently, that it satisfies Axioms 1–5. For Axiom 1, observe that implies that because we know from the coherence of [Axiom 1] that . For Axiom 2, observe that Equation (8) implies that , and use Axiom 1. For Axiom 3, observe that is equivalent to for all , and take into account the coherence of [Axiom 2]. For Axiom 4, consider any , and let for any particular choice of the for all and . Then and , so we can fix any and . The coherence of [Axiom 3] then implies that , and therefore also , whence indeed . And, finally, that satisfies Axiom 5 is an immediate consequence of its definition (8). ∎
Proof of Proposition 8.
We begin with the first statement. First, suppose that is coherent. Proposition 32 then implies that is coherent. Hence, since we know from Proposition 30 and the assumed binary character of that , we find that is coherent. Next, suppose that is coherent. Proposition 31 then implies that is coherent as well.
Lemma 33.
A coherent set of desirable option sets is binary if and only if
(16) 
Proof.
First assume that is binary. We then know from Corollary 30 that , implying that , for all . Consider any such that . Then there is some such that . But then , so we can consider an element . Since clearly , we see that and therefore, that .
Next assume that Equation (16) holds. Because of Corollary 30, it suffices to show that . We infer from Proposition 31 that is a coherent set of desirable options, and that . Assume ex absurdo that , so there is some such that , or equivalently, such that . But then we must have that , because otherwise with and therefore , a contradiction. But then it follows from Equation (16) that there is some such that . Since it follows from that also , we see that also . We can now repeat the same argument with instead of to find that it must be that , so there is some such that and . Repeating the same argument over and over again will eventually lead to a contradiction with . Hence it must be that . ∎
a.3. Proofs and intermediate results for Section 6
Lemma 34.
Proof.
Lemma 35.
Proof.
Immediate consequence of Lemma 34. ∎
Proposition 36.
for any coherent set of desirable option sets .
Proof.
That is an immediate consequence of the definition of the operator. To prove that , consider any , which means that there is some such that . We need to prove that . Since satisfies Axiom 5, it suffices to prove that .
If , then . Therefore, without loss of generality, we may assume that . For any , Lemma 35 implies that we may replace by and still be guaranteed that the resulting set belongs to . Hence, we can replace all elements of with and still be guaranteed that the result belongs to . Applying Axiom 1 now guarantees that, indeed, . ∎
Proposition 37.
Proof.
The proof of the first statement is trivial. For the second statement, assume that does not contain , and satisfies Axioms 2, 3, 4 and 5.
To prove that satisfies Axiom 2 and does not contain , assume ex absurdo that or . We then find that there is some such that or that there is some such that . In both cases, it follows that