Let D be such that
MB(D,{y})∩‰ = {D} (8)
and let B be such that
MB(B,0)∩7⅞ = {B}. (9)
If y ∈ B then we are back to Case 1. Therefore, assume that y B. For
each z ∈ B we can apply case 1 and obtain that there exists i ∈ N such that
w? = Ж» = {{≈}}.
Subcase 2.1: Assume that {x, y} ∈ TZf . We claim that MB ({y} , B) GTZf =
{B}. To see it, assume that there exists C≠B such that C ∈ MB({y}, B)∩
TZf. Ify ∈ CthenC ∈ MB(D, {y})∩7v⅛ Contradictingcondition (??). Ify
C then CGB, contradicting the fact that C≠B because M Bl B. Φ')∏TZf =
{B}. Moreover, since MB({y},D) GTZf = {D} and MB ({y} , {x, y}) ∩
TZf = {x, y} we can generate all orderings on D, B, {x, y} (with these three
subsets on the top); therefore, there exists i ∈ N such that TV™ = TV™ =
{≡∙
Subcase 2.2: Assume that {rr,y} TZf. First suppose that MB ({y} , B) ∩
TZf = {B}. Since MB ({y} , D) ∩ TZf = {D} and MB ({y} , {ж}) ∩ TZf =
{ж} (remember, by condition (??) we know that у ∈ TZf) we can gener-
ate all orderings on D,B, and {ж} (with these three subsets on the top);
therefore, there exists i ∈ N such that W™ = W™ = {{i}}. Suppose
that MB({y},B) ≠ {B}. We claim that D = BU {y} and therefore
MB({y},B) = {B,D}. To see it, let C ∈ MB({y},B). If у ∈ C then,
by condition (??), C = D and C = DU {y}. If у C then CGB and, by
condition (??), C = B. Now, if MB ({y},B) ∩ TZf = {B,D} we can also
generate all orderings on D, B, and {ж} with two preferences: one with top
on у (orderings D >- ' B >- ' {ж}, D >-2 {ж} >-2 B, and {ж} >- 3 D >- 3 B) and
27