Then, if you extend these comparisons to satisfy the independence of irrelevant alternatives by stating that in comparisons of multiple choices in an option set, all permissible options are strictly better than all impermissible options regardless of option set, extending these rankings beyond the option set, the result is antifrustrationism. To show this, you can use the set of the following three options, which are identical except in the ways specified:
A: a preference exists and is fully satisfied,
B: the same preference exists and is not fully satisfied, and
C: the preference doesn’t exist,
and since B is impermissible because of the presence of A, this means C>B, and so it’s always better for a preference to not exist than for it to exist and not be fully satisfied, all else equal.
Then, if you extend these comparisons to satisfy the independence of irrelevant alternatives by stating that in comparisons of multiple choices in an option set, all permissible options are strictly better than all impermissible options regardless of option set, extending these rankings beyond the option set, the result is antifrustrationism. To show this, you can use the set of the following three options, which are identical except in the ways specified:
and since B is impermissible because of the presence of A, this means C>B, and so it’s always better for a preference to not exist than for it to exist and not be fully satisfied, all else equal.