<p>One usually rules this out by assumption, as Mas-Colell, Whinston, and Green do in their textbook (). The goal is often to try to characterize preferences that guarantee (at least for finite choice sets) the existence of choices from a revealed preference point of view. There is also the methodological point that if you confront a decision-maker with a choice problem and chooses none of your options, then you haven't really included all options in the first place.</p>
<p>That being said, one can still study the mathematics of possibly empty-valued choice rules, and this has been done. One can find some material within this more general context in the book [Aleskerov, Fuad, Denis Bouyssou, and Bernard Monjardet. <a href="https://www.springer.com/gp/book/9783540341826" rel="noreferrer">Utility maximization, choice and preference</a>. Vol. 16. Springer Science &amp; Business Media, 2007.]</p>

CC BY-SA 4.0
2021-01-13T10:09:21.030Z
2021-01-13T10:09:21.030Z
Michael Greinecker
<p>It is a very simple question but with some implications. I just start reading Mas-Colell and it's not clear for me if it is possible a choice structure, <span class="math-container">$(B,C(.))$</span>, where <span class="math-container">$\exists b \in B, C(b)= \emptyset$</span>.</p>
<p>For example:
<span class="math-container">$B=\{\{x,y,z\},\{x,y\},\{x,z\},\{y,z\},\{x\},\{y\},\{z\}\}$</span></p>
<p><span class="math-container">$C(\{x,y,z\}) = \{z\}$</span></p>
<p><span class="math-container">$C(\{x,y\}) = \emptyset$</span></p>
<p><span class="math-container">$C(\{y,z\}) = \{z\}$</span></p>
<p><span class="math-container">$C(\{x,z\}) = \{z\}$</span></p>
<p><span class="math-container">$C(\{x\}) = \emptyset$</span></p>
<p><span class="math-container">$C(\{y\}) = \emptyset$</span></p>
<p><span class="math-container">$C(\{z\}) = \{z\}$</span></p>
<p>is a valid choice structure?</p>
<p>Mas-Colell defines choice structure and choice rules in section 1.C, page 10 on oxford press 1995 edition.</p>
<p>I first though about it because I think it would have some interesting implications, but it was false. Anyway, the question remains. Thanks!</p>

CC BY-SA 4.0
2021-01-13T10:05:37.830Z
Can you provide more context such as a page number of MWG?
Bayesian
CC BY-SA 4.0
2021-01-13T10:31:46.297Z
If you want to model "no choice" from some menu of items $\bar X$ you can just let $X = \bar X \cup \{o\}$ where the element $o$ is an outside option and then let $o$ be a member of all subsets in $B$, then you formally live up to requirement in MWG that sets in $B$ are non-empty and still allow for something like "no-choice" which seems to be the purpose of allowing for $C(b) = \emptyset$.
Jesper Hybel
CC BY-SA 4.0
2021-01-13T23:36:02.683Z
@Bayesian sorry! I will edit, MWG defines choice structure and choice rule in the section 1.C, page 10.
49328481
<microeconomics><mwg>
Is possible that, in a choice structure $(B,C)$, $C(b) = \emptyset$, for some $b \in B$
49328481
# Is possible that, in a choice structure $(B,C)$, $C(b) = \emptyset$, for some $b \in B$

(Asked by: username_0 on 2021-01-13)

It is a very simple question but with some implications. I just start reading Mas-Colell and it's not clear for me if it is possible a choice structure, $(B,C(.))$, where $\exists b \in B, C(b)= \emptyset$.

For example:
$B=\{\{x,y,z\},\{x,y\},\{x,z\},\{y,z\},\{x\},\{y\},\{z\}\}$

$C(\{x,y,z\}) = \{z\}$

$C(\{x,y\}) = \emptyset$

$C(\{y,z\}) = \{z\}$

$C(\{x,z\}) = \{z\}$

$C(\{x\}) = \emptyset$

$C(\{y\}) = \emptyset$

$C(\{z\}) = \{z\}$

is a valid choice structure?

Mas-Colell defines choice structure and choice rules in section 1.C, page 10 on oxford press 1995 edition.

I first though about it because I think it would have some interesting implications, but it was false. Anyway, the question remains. Thanks!

**Tags:** microeconomics, mwg
> **Comments:**
> **username_1**: Can you provide more context such as a page number of MWG?  
> **username_2**: If you want to model "no choice" from some menu of items $\bar X$ you can just let $X = \bar X \cup \{o\}$ where the element $o$ is an outside option and then let $o$ be a member of all subsets in $B$, then you formally live up to requirement in MWG that sets in $B$ are non-empty and still allow for something like "no-choice" which seems to be the purpose of allowing for $C(b) = \emptyset$.  
> **username_0**: @Bayesian sorry! I will edit, MWG defines choice structure and choice rule in the section 1.C, page 10.  

---

## 1 answers

### Answer by username_3 on 2021-01-13. Score: 7 | Accepted answer

One usually rules this out by assumption, as Mas-Colell, Whinston, and Green do in their textbook (). The goal is often to try to characterize preferences that guarantee (at least for finite choice sets) the existence of choices from a revealed preference point of view. There is also the methodological point that if you confront a decision-maker with a choice problem and chooses none of your options, then you haven't really included all options in the first place.

That being said, one can still study the mathematics of possibly empty-valued choice rules, and this has been done. One can find some material within this more general context in the book [Aleskerov, Fuad, Denis Bouyssou, and Bernard Monjardet. [Utility maximization, choice and preference](https://www.springer.com/gp/book/9783540341826). Vol. 16. Springer Science & Business Media, 2007.]


---

