!

"#$ %%
!"#! $% &'(#)
!"#! $% &'(#) *! !+,!-!./!.&

!" #$%$&
!" X #$%&'! ($)$*&+!%, - #$%& ./ 01)2-" ./ (&3!+(!", 4&3!+'&5 X #$%&'!*&
/!2 0!" 63& '&7!+&0!+!", 8!%(! 0/)#/ 0!" Y #$%&'! (/9/ ($)$*&+!%, X !+& Y *!*
#/"2&:.&* 7/";<%<*< X × Y !+& =6'2&"%!)2!#, >3&" X !+& Y (&* 0!"!'! ./ (/
!#!'! (& 01)'/ X × Y (& 01) 1+/ /#2<", >3&" 9&" !#!'! (& 01) (&3!+'&5 0!" x ∈
X @& 0!" y ∈ Y @/"(<" @& 0- !#! 63&*!* 1+-)2-"(-3- (x, y) '<"/+< 7!A2! X × Y
#/"2&:.&* 7/";<%<*/ /!22!"B (1+/.<'<.+/ 0- #/"2&:.&* 7/";<% 01) #$%& (&3!+(!",
- ($)$*$)+&5 =!(&"&#5 '1*+- '/.<(/ 0!" #$%&+&" /!+&'!*!* #/"2&:.&* 7/";<%<*<*
01) 1+%/'< !7!*5 0- #$%&+&"(&* &* /: 0!"!'!*!* 01) 1+%/'<*<* =&"&#+! @& .&2&"+!
1+(-3-*- '6.+&.&0!+!"!:, -*- 0/)#/ 2$"+$ '6.+&"'&#5 !"#$% &'()*' +", "$-'('#
./-0$012# .'1304(0# 5'16)-) +", *072$*21 (!.&0!+!"!:, C&"7&#2&*5 0-*- &"#$%
3/-0 8'1)- (9#30-2($0 #1+/. / =6'2&"&0!+!"!:,
D /0/ !+# 0/#<)2/ ;&# (13/+ =6"$*&* 0- 6:&+!3!5 &"#&%4 &'()*' ./-0$01 '2$0&2
!7!* (& '6.+&.&0!+!" %!.!:E :0+21; '#'$24; 3"6"$"<2 =!0! /+/*+/"(/ 6*&%+! 0!" /"/7
1+/"/# #-++/*<+/* 0- 6:&+!# @& 0-*/ &)(&3&" 1+/* 0/)#/ 6:&+!#+&"!* @/"+<3< !';/2F
+/*/%/(<, -*-* $:&"!*&5 GHII .<++/"<*(/ D+%/* %/2&%/2!#7! =1#&3 >01-0$"
0- 6:&+!3!* 0!" /#'!.1% 1+/"/# #/0-+ &(!+%&'!*! 6*&"(!, !05-0 ?.&2("-% (!.&
/(+/*(<"<+/* 0- 6:&+!3! )6.+& !A/(& &(&0!+!"!:J
!"#!$ %%&'&'& @!05-0 ?.&2("-%℄ B", "$-'('# ./-0$01*0# "$%,'# +", "$C
-'('# +21 '2$0#2# .'1304(0# 5'16)-) +", *072$*21D
-*- (/9/ !.! /7<#+/%/# !7!* 9&"9/*=! 0!" {Aı : ı ∈ I} /!+&'!*!* #/"2&:.&*
7/";<%<*< /*<%'/./+<%J Πı∈I Aı !+& =6'2&"(!3!%!: 0- 7/";<%5 9&" ı ∈ I !7!* f (i) ∈
Aı #1)-+-*- '/3+/./* 0$2$*

KLL,GM
[
f :I→ Aı
ı∈I

LNH
 !" !"#$ %%& '()$( *+',-.$/
#$%&'()$%*+,-%-% $*./0.,1.2. &345 (1(6 7. f #$%&'()$%*+,-%1+% 85,9(,('(%5 9(,
!"#! $%&' ()%&* 15%(*(,6 :+,05;)5% <+,=-4-% 9$/ $*4+4+'- 1545&> 5% +; 9(,
'5<45 #$%&'()$%. ?+, 1545&0(, @9&;6 @ 6ABB
C545% 95*(,05*(4 &( +!"#! ,' ()%#*> ).&+,-1+&(%5 15%& $*+% 152(/(& 9+/&+
9(<(4*5,15 15 (#+15 51(*59(*(,6 7(,+; '$%,+ $%*+,- DE,5 52(;6

! "#$%# &'"()*%+ ,&-.%"./0.1

+!"#! ,' ()%#* 4+054+0(&05 E%54*( .)D.*+4+*+,- $*+% 9(, ?+,'+)-41-,6 7.
9+&-41+%> 4+054+0(&<(*5,5 93)3& 9(, <+*-/4+ &$%.'. $*4./0.,6 7.,+1+> +!"#!
,' ()%#* (<(% 15> +-.!) /(0%1!2( (<(% 5*15 51(*5% '$%.<*+,-% 95%;5,*5,(%(% ?+,G
*-2-%- 'E)*545&*5 )50(%5 52(;6 7. '$%.<*+,> )(%5> 3*.1 456!7 @AHI"B ?5 89*7 :%;
<!& @AH!JB 0+,+#-%1+% ?5,(*4(/0(,6 :-'+ + E;50*5,'5&> 456!7> :345*5, :.,+4-%-%
+&'()$4*+,-%+ K5<45 L&'()$4. 5&*5%1(2(%15 '('05415 9(, <5*(/&( 1$24+1-2-%-M
)+%(> :345*5, :.,+4-%-% E05&( +&'()$4*+,-)*+ 9(,*(&05 K5<45 L&'()$4.%.%
"!7(=#!2 >(. ( 1!# $*./0.,1.2.%. DE'05,1(6 :%<!& ('5> K5<45 L&'()$4.%.%>
:345*5, :.,+4-%-% E05&( +&'()$4*+,-%1+% >9?@# @2 $*1.2.%. DE'05,1(6 7.%+
DE,5> K5<45 L&'()$4.%. ?+,'+)+% 9(, :345*5, :.,+4- &.,.*+9(*1(2( D(9(> 9.
+&'()$4. ?+,'+)4+)+% 9(, 3-#!7!. 3*.9#@ 1+ &.,.*+9(*(,6 C5, (&( '('054 &5%1(
(<*5,(%15 0.0+,*-1-, @<5*(/45;B> +4+ 9(,9(,*5,(%15% #+,&*- '('054*5, $*.,*+,6 NA"℄

!2 "&,(3 4*'3& 3#*1#%(

!"#$ %%&'&(& P(&5* '-,+*- 9(, &345%(% 0345* '-,+*- 85, +*0 &345'( 9(, ;(% (,1(,6
Q;5* $*+,+&> 0345* '-,+*- 85, &345 9(, ;(% (,1(,6
!"#$ %%&'&%& (E, ) 0(&5* '-,+*+%4-/ '('054 ?5 a ∈ E $*'.%6 E %(% +/+2-1+&(
3< E;5*(25 '+8(= 9(, B +*0 &345'(%5 ("!.!& 9(, &345 1()5 52(;R

@(B a ∈ B
@((B f (B) ⊂ B
@(((B B (<(%15&( 85, ;(% (,(% 5% &3<3& 3'0 '-%-,- )(%5 B )5 +(00(,6

)*+)$ %%&'&(& (E, ) 1('!7 @.979&#@= ( 1!#( ("(&6!'( <!. 2(& (.(& >(. - 1
@&@.@ B9. %7 *&C D?!. f : E → E 9297#9)9& >(. $%&' ()%& ( !E f $%&' ()%&*
971@&69 9>(1 '979& >(. w ∈ E 5?! ( B9.6@.C
!"#$%

x ∈ E ⇒ x ≤ f (x) @ 6 B

('5

(∃w ∈ E) f (w) = w @ 6SB

 !"! #$%&' ()*'$ '+),+-& !"

#$%&'&(& )*+,-./-$01023
40. a ∈ E *'-+0 +-5-$0/3 4& 0+67, 8#1&( 7 +-5,0'0/02 8& a *'-+0 +780, :7$7 7:;
,<.3 E (0( 8=,=( 05-.-( 7$, :=/-$-.0(%-( #$&>7( 70$-1- B %01-$0/3 E :=/-+0(0(
!"#"$ 80. :=/- #$%&'& 7675<:,<.? 17(0 B 70$-+0 8#> %-'0$%0.3 @#$71 7 )*.=$- -'0

=2-.- 05-.-( :=/-$-.0( 7.7:-+0,0 %- 05-.-( 80. :=/-%0.? *1$-1+-A

A = ∩B = ∩{B : B ∈ B} B 3CD

7.7:-+0,0A -( :=5=: 05-.-( :=/-%0.3 E0/%0

A = {x ∈ E | a  x} B 3FD

:=/-+0(0 %=>=(-$0/3 4&(&( 05-.-( 80. :=/- #$%&'&(& )*+,-.- -'02A a ∈ A

#$%&'& 7675<:,<.? 17(0 A :=/-+0 B0D :#>&$&(& +7'$7.3
A :=/-+0(0( G- f H#(:+01#(&(&( ,7(</<(%7(A I-. x ∈ A 050( a  x  f (x) ∈
E 5<:7.3 J1$-1+- f (A) ⊂ A #$&.? 17(0 (ii) :#>&$& +7'$7(<.3
K#( #$7.7:A A 050(%- I-.I7()0 80. Z 20( 0.0 7$7$</3 Z (0( -( :=5=: =+, +<(<.<
t #$+&(3 L'-. t ∈
/ A #$+71%<A A (<( ,7(</< )-.-'0( -A t ≺ a #$&.%&3 J,- 17(%7(A
I-. r ∈ Z 050( r  t %0.3 E& I7$%-A I-. r ∈ Z 050( r  t ≺ a #$7 7:,<.A :0 8&A A
:=/-+0 Z 10 :76+7/72A %-/-:,0.3 4& 5-$0>:0 :78&$=/=2%-( )-$%0'0(- )*.-A t ∈ A
#$/7$<%<.? 17(0 (iii) :#>&$& %7 +7'$7(<.3
4*1$- - A (<( 05-.-( 80. :=/- #$%&'& )*.=$=1#.3 MI7$%-A -( :=5=: 05-.-(
:=/-10 :76+7.? 17(0 A ⊂ A %<.3 4&.7%7(
B0GD x ∈ A ⇒ a  x
#$%&'& 5<:7.3 E0/%0 %- 80. P :=/-+0(0 >*1$- ,7(</$717$</N

P = {x ∈ A | (y ∈ A ∧ y  x) ⇒ f (y)  x} B 3!D

4& :=/-(0( 8#> #$/7%<'</ )*./-: 050(A *.(-'0(A

a∈P B 3OD

#$%&'&(& I-/-( )*+,-.-80$0.023 P-.5-:,-(A B0GD )-.-'0( -A I0580. y ∈ A 050( y ≺ a

#$7/717 7'<(%7(A B 3!D ,7(</<(%7:0 *(-./- %#'.& #$&.3
4&.7%7( I-/-( )*.=$- -'0 =2-.-A a *'-+0A P (0( -( :=5=: *'-+0%0.3 E0/%0
P 050(%- +780, 80. p *'-+0 +-5-$0/ G- 8&(7 87'$< #$7( 80. Mp :=/-+0(0 >*1$-
,7(</$717$</N

Mp = {m ∈ A | m  p ∨ f (p)  m} B 3QD

R-#.-/0( 0+67,<(< 7>7'<%7:0 8-> 7%</%7 ,7/7/$71780$- -'023

!"#$%& Mp 05-.-( 80. :=/-%0.3

a *'-+0A P (0( -( :=5=: *'-+0 #$%&'&(%7(A a  p %0.3 J1$-1+-A B 3QD %-(A
a ∈ Mp #$&.3 S-/-: :0 Mp :=/-+0 (i) :#>&$&(& +7'$<1#.3
E0/%0 Mp (0( (ii) :#>&$&(& +7'$7%<'<(< )*+,-.-$0/3 T-.I7()0 80. m ∈ Mp
+-5-$0/3 U5 %&.&/ G7.%<.N
! !"#$ %%& '()$( *+',-.$/
!"#$#%& "#$% f (p)  m &'$( ) * + ,$-( f (p)  m  f (m) ./0%( 1& 20
) *3+ 4$%$#&- $ f (m) ∈ Mp ./67'8 ,$6$19&%*
'!"#$#%& m = p &'$ f (m) = f (p) ./0%* :;'7 p ∈ Mp <$ f (p) ∈ Mp
./,0#0 ) *3+ ,$- =$6$- 4>%?/?%*
(!"#$#%& m ≺ p &'$( p ∈ P ./,0#0-,7-( ) *!+ 4$%$#&- $( f (m)  p
./7 7198%( 1& 20 ) *3+ ,$- f (m) ∈ Mp ./67'8 ,$6$19&%*

@>;/$ $ f (Mp ) ⊂ Mp A817%*

B&6,& ,$ p ∈ Mp -&- (iii) 1.C0/0-0 '7#/7,8#8-8 4>'9$%$/&6* N 1?6$'&( Mp
&A&-,$ =$%=7-4& 2&% D&- &% <$ N -&- $- 1?A?1 ?'9 '8-8%8 u ./'0-* N ⊂ Mp
./,0#0-,7-( ) *3+ 4$%$#&- $( &1& ,0%06 ,?C?-?/$2&/&%E
F7 =$% y ∈ N &A&- y  p ,&% ;7 ,7 f (p)  y 1.C0/0-0 '7#/7;7- 27D8
y ∈ N >#$/$%& <7%,8%* @&%&- & ,0%06 <7%'7( p( N 1?6$'&-&- 2&% ?'9 '8-8%8,8%G
,./7;8'8;/7( p( N -&- $- 1?A?1 ?'9 '8-8%8-,7- 1?A?1 ./767DG ;7-& u  p ,&%*
@0 ,0%06,7( ) *3+ 4$%$#&- $( u ∈ Mp ./0%* H1&- & ,0%06 <7%'7G ;7-& 27D8
)2$/1& ,$ =$%+ y ∈ N &A&- f (p)  y 1.C0/0 '7#/7-8;.%'7( y  u ./,0#0-,7-(
;&-$ f (p)  u ./7 7198%* @0 ,0%06,7 ,7( ) *3+ 4$%$#&- $( u ∈ Mp ./0%*
@>;/$ $ Mp -&- !"#"$ 2&% 1?6$ ./,0#0-0 4>'9$%6&C ./0;.%0D*

'!)*+%& Mp = A ,8%*
I*J,86,7- Mp ∈ B A817%* :=7/,$ ) *K+ 4$%$#&- $ Mp ⊃ A ./7 7198%*
:;'7 ) *3+ ,$-( Mp ⊂ A ./7%71 97-86/7-68C98%* L$6$1 1& Mp = A ,8%*
@0 $C&9/&19$- C0 >D$/&#& ;7D72&/&%&DE

)<+ (x ∈ P ∨ z ∈ A) ⇒ (z  x ∨ f (x)  z)

(!)*+%& P = A ,8%*
a ∈ P ./,0#0-0 ) *M+ ,$- 2&/&;.%0DG ;7-& P 1?6$'& (i) 1.C0/0-0 '7#/7%*
B&6,& P -&- (ii) 1.C0/0-0 '7#/7,8#8-8 4>'9$%$/&6* N$%=7-4& 2&% x ∈ P
<$%&/'&-( f (x) ∈ P ./,0#0-0 4>'9$%$ $#&D* @0-0- &A&-( ) *!++ 4$%$#&- $(

(z ∈ A) ∧ (z ≺ f (x)) ⇒ f (z)  f (x) ) *O+

./,0#0-0 4>'9$%6$/&;&D( )<+ 4$%$#&- $( x ∈ P <$ z ∈ A <7%'7;86868D ;7

z  x ;7 ,7 f (x)  z ./67'8-8 4$%$19&%&%* :;'7 &1&- & ,0%06 z ≺ f (x)
./,0#0 1720/?6?D$ 7;/7%8,8%* L$6$1 1& ;7/-8D 7 z ≺ x ,0%060 <7%./72&/&%*
x ∈ P ./,0#0-,7-( $#$% z  x &'$( ) *!+ <$ ) * + ,$- f (z)  x  f (x)
./0%* "#$% z = x &'$ f (z) = f (x) ./0%* @>;/$ $ x ∈ P &'$ f (x) ∈ P ./,0#0G
;7-& f (P ) ⊂ P ./,0#0 4>%?/?%*
P.- ./7%71( P -&- )&&&+ 1.C0/0-0 '7#/7,8#8-8 4>'9$%$/&6* P &A&-,$ 2&% F
D&- &%& <$%&/'&-* F -&- $- 1?A?1 ?'9 '8-8%8-7 v ,&;$/&6( v ∈ P ./,0#0-0
4>'9$%6$1 &A&-( ) *!+ ;7 4>%$(

(z ∈ A ∧ z ≺ v) ⇒ f (z)  v ) *IQ+
 !"! #$ %& &'(&)&*+&*, !"

#$%&'&(& )*+,-./-$01023 456 %-( 7-/-( )*.8$- -'0 82-.-3 7-. x ∈ F 0:0( 1;
z  x 1; %; x  f (x)  z #$; ;<,=.> ?'-. 0<0( 0+0 +;'$;(=1#. #$+;1%= v  z
#$&.%&3 <0 @& <;@&$8/82- ;1<=.=%=.> A7;$%- 7-. x ∈ F 0:0( z  x #$; ;<,=.>
?'-. z ≺ x 0+- f (z)  x  v 4P (0( ,;(=/=(%;(6 #$&.> ?'-. z = x 0+- z 6= v
#$%&'&(%;(3 F 0:0(%- *1$- @0. y *'-+0 5;.%=. <0 z ≺ y #$&.B ;<+0 7;$%- F (0(
-( <8:8< 8+, +=(=.= v %-'0$ z #$/;$= 0%03 <0 @& #$;/;2> A7;$%- f (z)  y  v
#$; ;<,=.> C-/-< <0 7-. 0<0 7;$%- %- 4 >DE6 +;'$;(=1#.B F1$-1+- v ∈ P %0.>
G*1$- - P (0( !"#"$ @0. <8/- #$%&'& )*+,-.0$/0H #$/;<,;%=.B %#$;1=+=1$;
4 >I6 %-( P ⊃ A :=<;.> A1+; 4 >!6 ,;(=/=(%;( P ⊂ A %=.> C-/-< <0
P = A %=.>

!"#$%& A <8/-+0 E 0:0(%- @0. 20( 0.%0.>

A = P #$%&'&(& %8H8(8.+-< 456 %-( 7-. x, z ∈ A 0:0( 1; z  x 1; %;
x  f (x)  z :=<;.B 1;(0

x, z ∈ A ⇒ (z  x) ∨ (x  z) 4 >DD6

#$&.3 <0 @&3 A (=( E 0:0(%- ,;/ +=.;$= @0. ;$, <8/- #$%&'&(&3 %#$;1=+=1$;
@0. % $ # #$%&'&(& +*1$-.>

'!"#$%& A (=( -( <8:8< 8+, +=(=.= f (0( +;@0, @0. (#<,;+=%=.>

A /( -( <8:8< 8+, +=(=.=(; w %01-$0/> A <8/-+0 0:-.-( #$%&'&(%;(3 w ∈ A
5- %#$;1=+=1$; f (w) ∈ A %=.> ?( <8:8< 8+, +=(=. ,;(=/=(; )*.- f (w)  w
#$/;< 2#.&(%;%=.> A1+; 4 > 6 %-(3 w  f (w) %=.> *1$-1+- w = f (w)
#$; ;<,=.>

!" #$ %& '()'*'+,'+-

J;,-/;,0'0( @0.:#< K.#@$-/0(%- %#'.&%;( %#'.&1; L-:/- M<+01#/& 4LM6 <&$N
$;(=$/;2> L-:/- M<+01#/& 1-.0(- #(; -H%-'-. #$;( @;2= *2-$0<$-. <&$$;(=$=.>
O-.:-<,-3 L-:/- M<+01#/&(&( -H%-'-.$-.0 K-< :#<,&.> M( ;< @&.;%;3 :#< +=<
<&$$;(=$;( 8: ,;(-+0(0 5-./-<$- 1-,0(- -'02>

()*+%* ,,! !-! '()*+,)- .$"#/"0"# 1 #1 #0"# $" "(,"*"#, #2

." .*/%* "01234%5& G#H #$/;1;( <8/-$-.%-( #$&H;( @#H #$/;1;( @0. ;0$-(0(
<;.,-21-( :;.K=/= @#H %-'0$%0.>

67 6851#4+9 7:3:0/*;20 <;0*12& G#H #$/;1;( ,0<-$ +=.;$;(/=H 7-. <8/-

0:0(%- %;0/; @818<:- 4/;<+0/;$6 @0. 20( 0. 5;.%=.>

=> =4+) >*4+*%2& G#H #$/;1;( 5- 7-. 20( 0.0 @0. 8+, +=(=.; +;70K #$;( ,0<-$
+=.;$;(/=H @0. <8/-(0( @818<:- @0. *'-+0 5;.%=.>

?@ <32 .$+8;8%8 >*4+*%2& PQ-./-$#℄ S-. <8/- 010 +=.;$;(;@0$0.>

 !" !"#$ %%& '()$( *+',-.$/
!"#$% #$ %&'( )*+',+*-* .-'.-'/+'-*+ %+*0 1/%$2$*$ -345(/5,50 -6-* 7$ 38'598
-:/+9+ +2-:<
[SA] ⇒ [HB] ⇒ [ZT ] ⇒ [W O] ⇒ [SA]
! ⇒ "# !"#! $%&'()#*+* =5'3595'350> ?&3(+'+ +2-: 0- .17 1/,595* (-0+/
38'5/5*,87 @+' 0A,+ -6-*%+ ,-(-%"! ,'. /'+ '. =5'%8'B #$*$ .-'5: %5@5 5680C
/595/8,< (L, ) (-0+/ 38'5/5*,87 .-' 0A,+ 1/3$*B L -6-*%+0- .A(A* :-* -'/+'C
%+* 1/$75* 5-/+9+ L %-9+/-,D 95*- L > L *-* (A,+/ E(5,F 38'5/8 .A(A* 5/(
0A,+/+'-*-* 5-/+3- 1/3$*B L 5-/+3- 05435,5 .528*(838*5 ?&'+ (-0+/ 38'5/8%8'B
G&3(+'+ +2-: 0- (L , ⊂) (-0+/ 38'5/5*,87 3-3(+,-*-* .-' ,-(-%"! 12!&' =5'%8'B
H345(8 )3#4(4+4 !.5' 9&*(+,-9/+ 9545 528:B (L , ⊂) (-0+/ 38'5/5*,87 3-3C
(+,-*-* .A9A06+ .-' &2+3- =5' 1/,538*B #$ %$'$,%5 @+' A &2+3-*%+*
E0A,+3-*%+*F %5@5 .A9A0 1/5*D 95*- A ⊂ B 1/5*> .-' B ∈ L 0A,+3-
%5-,5 =5'1/5 50(8'B #$*5 ?&'+> @+' A ∈ L -6-*
LA = {B ∈ L | A * B} E BI F
5-/+3-*- (5*8,/595/8,B
∅ 6= L A ⊂ L E BIJF
1/5 528 545680(8'> &9/+93+
A = {LA | A ∈ L } E BI"F
5-/+3- .17 1/,595* LA 0A,+/+'-*%+* 1/$75* .17 1/,595* .-' 5-/+%-'B !"#!
$%&'()#*+4 ?&'+ E BI"F 5-/+3-*-* 05'(+:9+* 65'48,8 .17 %+2-/%-'D 95*- &9/+
.-'
[
f :L → LA E BIKF
A∈L

L1*03-91*$ =5'%8' 0-
A ∈ L ⇒ f (A) ∈ LA E BI!F
1/$'B E BI F =+ E BI!F %+*
A ∈ L ⇒ A * f (A) E BIMF
6805'B N935 E BIJF =+ E BIKF %+*
f :L →L E BIOF
95:5.-/-'-:B E BIMF 017$/$ (L ⊂) 3-3(+,- -/+ .$ f L1*03-91*$*$* 4,'6
7)%64 8!).!#' *-* 017$//5'8*8 352/5%828*8 ?&3(+'-'B )9/+93+
(∃Ω ∈ L ) f (Ω) = Ω E BIPF
1/,5/8%8'B E BIMF -/+ E BIOF *-* 6+/-7-0/-2-> (L . ⊂) 3-3(+,-*-* .A9A06+
.-' &2+3-*-* =5' 1/,5%828 05.$/A,A:%+* ?+/,+0(+%-'B Q+,+0 0- L *-* .-'
.A9A06+ &2+3- =5'%8'B L *-* (5*8,8 ?+'+2-* +> =5'/828*8 3&9/+%-2-,-: .$
.A9A06+ &2+ EL , ) -6-*%+ .-' .A9A0 :-* -'%-'>
 !"! #$ %& &'(&)&*+&*, !"

! ⇒ "#$ !"#$%&' ()*)+,)+ -,+.#/0/ #$%&' ()(*(# 1%&0 2.%&.3/0/ +,-$.

()( (0+12 (L , ) .+#(' ,3*$'$4536 %+* ,+,.(5 7',&42 89:+℄ <(*(0+4 (= %&4&4
+>+4)( %?@?# %+* 1+4 +* A$*)3*2 :& 1+4 +*+ D +'( <B,.(*('+52 8CD℄ 4+4 A$*,$E
@3534)$4 D 4+4 %+* ?,. ,343*3 A$*)3*F %&4$ x )+@('+52 GB,.(*( (0+1 #+ %& x
B0(,+ (L , ) 4+4 4)*)+5. %+* B0(,+)+*2 G(*>(#.(4= x  y #76&'&4& ,$0'$@$4
%+* y ∈ L \ D B0(,+ A$* 7',$@)3= D %?@?#>( %+* 1+4 +* 7')&0&4)$4 D ∪ {y}
#?5(,+ )( $@43  %$034.3,34$ <B*( %+* 6/0 /& 7'&*)&2 H@,$ D %?@?#>( %+*
1+4 +* 7')&0&4)$4 %&4& #$-,$@$4 %$6#$ %+* 1+4 +* A$* 7'$5$12 H I$')( I+>
%+* y ∈ L +>+4 x  y 7'$5$1F @$4+ x B0(,+ (L , ) ,+,.(5+4+4 4)*)+5.83!+9
#/3!,: %+* B0(,+)+*2
"# ⇒ %&$ S I(*I$4<+ %+* #?5( 7',&42 :?.?4 G ⊂ S × S <*$J#'(*+ +>+4)(
B@'( %+* .$4(,+4+4 A$*'30343 <B,.(*( (0+1 #+= %& <*$J0( .(#$%?' ()(4 %$034.3=
S ?1(*+4)( %+* /*/ #;&!,!3! %$034.3,3 7'$ $#.3*2 K,-$.3 )B*. $)35)$ .$5$5E
'$@$ $0312

L2M)35N G*$J# +'( %$034.3 %+*%+*'(*+4+ .(# 7'$*$# %('+*'()+#'(*+4( <B*(= @$'431 $
<*$J#'(*'( +'<+'(45(# @(.( (#.+*2 O4 ( %+* <B,.(*+5 .$435'$@$ $031N
P0(* A= S 4+4 I(*I$4<+ %+* G <*$J0+4+4 .(5,+' (..+0+ %$034.3@$ <B*(
+@+ ,3*$'$4536 %+* $'. #?5(,+ +,(= %&4& #3,$ $= (A, G) +'( <B,.(*('+52
S #?5(,+4+4 I(*I$4<+ %+* %$034.3@$ <B*( +@+ ,3*$'$4536 %?.?4 $'.
#?5('(*+4+4 $+'(,+4+ Z +'( <B,.(*('+5N
Z = {(A, G) | G, A ⊂ S ?1(*+4)( %+* +@+ ,3*$'$5$ <*$J0+)+*}
Q 2 RS

T+5)+ Z ?1(*+4)( ≺ ,+5<(,+@'( <B,.(*( (0+5+1 %+* %$034.3@3 6B@'(

.$435'$@$'35N 9(* A, G), (A′ , G′ ) ∈ Z +>+4

(a) A ⊂ A
 ′
′ ′
(A, G) ≺ (A , G ) ⇔ (b) G ⊂ G ′

(c) x ∈ A ∧ y ∈ A′ \ A ⇒ (x, y) ∈ G

Q 2 LS
7',&42 (Z , ) 4+4 .+#(' ,3*$'$4536 %+* ,+,.(5 7')&0& #7'$@ $ <B*?'(%+'+*2
2M)35N
A = {(Aı , Gı ) | ı ∈ I}
#?5(,+ Z +>+4)( %+* 1+4 +* 7',&42
[
A= Aı
ı∈I
[
G= Gı
ı∈I

)+@('+52 :& )&*&5)$ (A, G) ∈ Z )+*2 G(*>(#.(4= A ⊂ S 7'$ $03 $>3#E

.3*2 O@'(@,(= G ⊂ A × A <*$J0+4+4 %('+*'()+0+ %$034.3434 A ?1(*+4)(
!! !"#$ %%& '()$( *+',-.$/
"#$ ! "#$%&%'% "%&'()'*' +,-.&.(. /0*)1$213 41)1 13)#$6 7#2-# ".(.
/0*)1$1,#26
!"#$%# &!$'#(!)#*#+,
x ∈ A ⇒ ∃ı(ı ∈ I ∧ x ∈ Aı ) ⇒ (x, x) ∈ Gı ⊂ G

-1( #*)1(1( 814 9'3%$6

!"#$%# !$%-'-(.%+-/%-+,
(x, y), (y, x) ∈ G ⇒ (∃ı ∈ I)(∃ ∈ I)[(x, y), (y, x) ∈ Gı ]

-'$6 :4*% A "#$ ;#( #$ +,-.&.(-%( 4% Gı ⊂ G 4% -% G ⊂ Gı

-#$6 <#$#( #*#(#( +,-.&.(. =%$*%4%,'26 <. -.$.2-% (x, y) ∈ G =1
(y, x) ∈ G -#$6 G %()#*#21)$#3 +,-.&.(-%(> ".> x = y +,2%*'('
/1$13)#$#$6
!"#$%# 0.1-2/.$*-+,
(x, y), (y, z) ∈ G ⇒ (∃ı ∈ I)(∃ ∈ I)[(x, y), (y, z) ∈ Gı ]

-#$6 Z "#$ ;#( #$ +,-.&.(-%( 4% Gı ⊂ G 4% -% G ⊂ Gı +,% %3)'$6

<#$#( #*# =%$+,*.(6 <.> (x, y) ∈ Gj ∧ (y, z) ∈ G?j +,2%*'(' =1 ".
-% (x, z) ∈ G ⊂ G +,2%*'(' /1$13)#$#$6 <.$%-%(> *0; 3+(.*.
"%&'()'('( "#$ )#31, *'$%,%2% "%&'()'*' +,-.&.(. *04,141"#,#$#;6
!"#$%# -&- '#+!)!(!*#+, <.(. /0*)1$213 #9#(> *0;3+(.*. *'$%,%2%
"%&'()'*'(% /0$1 A ('( ?1$ %,) 3@21*#(#( 1( 3@9@3 0&1*#(#( +,-.A
&.(. /0*)1$21,#4#;6 A ('( "+8 +,2%4%( "#$ %,) 3@21*#(1 D -#41A
,#26 D ∩ Bı 6= ∅ +,% %3 813#,-1 "#$ ı ∈ I =%$+,% %3)'$6 D ∩ Bı ⊂ Bı
=1 Bı #4# *'$%,' +,-.&.(-%( D ∩ Bı ⊂ Bı (#( (Bı , Gı ) #9#(-1 1(
3@9@3 0&1*# =%$-'$6 <.(% b -#41,#2B

(∀y ∈ D ∩ Bı ) (b, y) ∈ Gı

-#$6 7#2-# ". b 0&1*#(#( D (#( (A, G) #9#(-1 1( 3@9@3 0&1*#

+,-.&.(. /0*)1$1 1&#;6 <#$ x ∈ D *191,#26 C3# ?%, =%$-'$B

x ∈ Aı ⇒ (b, x) ∈ Gı ⊂ G
x∈/ Aı ⇒ (∃ ∈ I) x ∈ A ⇒ A * Aı
⇒ (A , G )  (Aı , Gı )
⇒ (Aı , Gı ) ≺ (A , G )

-#$6 b ∈ Aı , x ∈ (A \ Aı ) =1 (Aı , Gı ) ≺ (A , G ) +,-.&.(-%(

D 6 EF /1$1&#( 1 (b, x) ∈ G ⊂ G +,% %3)'$6 G4,14*1 b> D (#(
(A, G) #9#(-1 1( 3@9@3 0&1*#-#$6
H6I-'2B <.(-%( 0( 13# %-'2-% 3%"., 1-#,1( =%$*%4'2,%$ %,)'(-% (A, G) > A
('( "#$ @*) *'('$'-'$6
 !"! #$ %& &'(&)&*+&*, !"

#$%$ &'()*+,*- ./.% 0.+ (Aı , Gı ) ∈ A (*/*1.,2 Aı ⊂ A 3* Gı ⊂ G

415 5-)7+8 x ∈ Aı , y ∈ A 3* y ∈ / Aı 419$:$%$ 35+(5;517,< y ∈ A
415 5- =*-.19* 0.+  ∈ I 35+415 5-)7+8 y ∈ Aı 3* y ∈
/ A 419$:$%95%

(A , G )  (Aı , Gı )

97+2 9415;7(7;15

(Aı , Gı ) ≺ (A , G )

415 5-)7+8 >.,9. x ∈ Aı 3* y ∈ B \ Bı .(* ? 8 @A &*+*:.% *< (x, y) ∈

G ⊂ G /7-5+8 B*,*- -.

(Aı , Gı )  (A, G)

9.+8
C8D97,E F*+ -G,* .;. (7+515%50.1.+8
8 3* H8 D97, &*+*:.% *< (Z , ) ).-*1 (7+515%,7= (.()*,. ./.%9*-. I*+
J.% .+.% 0.+ G() (7%7+7 35+97+8 K;1*;(*< !"# $%!"%&' %9*%< 0$ (.()*,.%
0.+ *% 0G;G- ':*(.%.% 35+17:7%7 (';1*;*0.1.+.J8 Z %.% 0$ 0G;G- ':*(.%*
(B, G) 9.;*1.,8 B = S 419$:$%$ &'()*+.+(*- .=.,.J 0.),.= 415 5-)7+8
#$%$% ./.% !(&)*)#) %"+' *,#-%&'#' -$115%5 5:7J8 L:*+ B 6= S .(*
(∃x ∈ S \ B) 41$+8 #$ 9$+$,95 B ∪ {x} -G,*(. GJ*+.%9*< &+5M:.

G∗ = G ∪ {(a, x) | a ∈ B}

415% 05:7%)7;7 9G=G%*1.,8

(B, G) ≺ (B ∪ {x}, G∗ )

415 5:7 5N5/7-)7+< -. 0$ (B, G) %.% (Z , ) ./.%9* 0G;G-/* 0.+ ':*

41,5(7;15 /*1.=.+8 B*,*- -. B = S 9.+8

! ⇒ "#$ {A , | ı ∈ I} 04= 41,5;5% -G,*1*+9*% 41$=5% 04= 41,5;5% 0.+

ı
5.1* 41($%8
[
S= Aı
ı∈I

9.;*1.,< .*' /0")()&) $%!"%&' $;5+7% 5< S -G,*(. .;. (7+515%50.1.+8 #$ (7+5
05:7%)7(7%7  (.,&*(.;1* &'()*+*1.,8 F*+ ı ∈ I ./.%<  .;. (7+515,5(7%5 &'+*<
Aı -G,*(.%.% 05=15%&7/ ':*(. f (ı) 41($%8 #';1* *< f O4%-(.;4%$ 3*+.1*% 5.1*
./.% 0.+ 1%2&% 3!#41'*!#5 41$+8

P@C℄< P@℄< PH@℄< P@ ℄< PC℄< P ℄< PR℄< P@C℄< P@℄<PH@℄