Θεωρία Συνόλων

Ενότητα: Ο χώρος Baire

Γιάννης Μοσχοβάκης

Τμήμα Μαθηματικών
Θεωρία Συνόλων

Σημειώματα
Σημειώμα ιστορικού εκδόσεων έργου

Το παρόν έργο αποτελεί την έκδοση 1.1. ΄Εχουν προηγηθεί οι κάτωθι εκδόσεις:

• ΄Εκδοση 1.0 διαθέσιμη στο σύνδεσμο http://www.math.ucla.edu/ ynm/lectures/g.pdf

Σημείωμα αναφοράς

Copyright 2015. Γιάννης Μοσχοβάκης. «Θεωρία Συνόλων». ΄Εκδοση: 1.1. Αθήνα 2015. Διαθέσιμο
από τη δικτυακή διεύθυνση: http://opencourses.uoa.gr/courses/MATH24/

Σημείωμα αδειοδότησης

Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά, ΄Οχι
Παράγωγα ΄Εργα, Μη Εμπορική Χρήση 4.0 [1] ή μεταγενέστερη, Διεθνής ΄Εκδοση. Εξαιρούνται τα
αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα
οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης ΄Εργων Τρίτων».

[1] http://creativecommons.org/licenses/by-nc-nd/4.0/

Ως Μη Εμπορική ορίζεται η χρήση:

• που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από τη χρήση του έργου, για το
διανομέα του έργου και αδειοδόχο

• που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο
έργο

• που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό όφελος (π.χ.
διαφημίσεις) από την προβολή του έργου σε διαδικτυακό τόπο

Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπο-
ρική χρήση, εφόσον αυτό του ζητηθεί.
Θεωρία Συνόλων

Διατήρηση σημειωμάτων

Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει:

• το Σημείωμα Αναφοράς

• το Σημείωμα Αδειοδότησης

• τη δήλωση Διατήρησης Σημειωμάτων

• το Σημείωμα Χρήσης ΄Εργων Τρίτων (εφόσον υπάρχει)

μαζί με τους συνοδευόμενους υπερσυνδέσμους.

 !"#$#%& '(

!"# $ %&'()

)*, -./ 0.123-4/ 56278-4/9 :1;/ - <2- 7*8*=253> 5?23*:8*?- 8*=@A/ A/
1.?-=-7*;6:5/ ?5 *:?52 - !"#$ %&'()9
N = ! (N → N) B'(C'D
- 14?-=- ;? 56278-1*26E?F )* - 1.8G-=218>
C = ! (N → {0 1}) B'(CHD
I25 - *+,#-# #/ 0&123(22 ;? ,<*26;?9 J.5J23E? 53-=-.72E?9 >*
C ⊆ N ⊆ P(N × N)
352 8* -23*:-./ <25 .<-=-I218-4/9
c = 2ℵ0 = |P(N)| = |C| ≤ |N | ≤ |P(N × N)| = |P(N)| = c!
)*, A? 5K2;8523L 5<>J*2KA A/ 21-<=A723>A5/ N = R 1- 56,6A85 4
B<-. *:?52 5362GE/ ><;/ 352 A J25217A23L 5<>J*2KA9 1- *0,=52- 5D9 A N<>C
7*1A -. O.?*P-4/ 675 *306,Q*52 5<> A? <6>51A
B08D (∀ ⊆ N )[ ≤ N ∨ = N ]
" " " !

R 1P@1A 8,=215 5?,8*15 1-./ PE6-./ N 9 C 352 R *:?52 >1- 1*?L9 <-.
1P*J>? 3,7* *?J250@6-.15 2J2>A5 *?>/ 5<S 5.-4/ 85/ J:?*2 58@1;/ 825 1P*C
2Q>8*?A 2J2>A5 ;? ,==;?F O5 <6-G=L855 75 JE1-.8* 5.1A6L J254<;1A
5.-4 -. 052?-8@?-. I25 -./ N 352 C 9 352 I25 -? R 75 - 5<-J*:K-.8* 1-
56,6A85 49 ><-. 352 75 5?=L1-.8* 5 <-6:1855 I25 -./ <65I8523-4/
56278-4/ 5<> 5 5<-*=@1855 5.-4 -. 3*05=5:-.F23

! "#$%#&'(#)! *+!- !+ .#/*0*1!+ 2#) #1)*% *"*$*134 5%* 3) .**)'363 7) #"'(#8
)7) 2-!9 "*$!+6%:;#*% #2< 6+("+.)7(=)* .*% 615!+$* *"*%#1 "#$%66'#$3 "$!6":>#%* *"'
!) *)*5)<63 6# 6&=63 (# * +"'0!%"* .#/:0*%*? @# (%* "$<3 *):5)7639 167A )* #1)*%
.*0-#$! )* ! "$!6"#$:6#%A .*% )* #"*)=0>#%A 6# *+' */!- "$<* #("#2<6#%A .*0: 3) -03
6* B#/:0*%* CC .*% CD?
22 E"' "*0%: "*$:2!63 &$36%(!"!%#1*% ! 12%! 6-(F!0! 5%G *+' ! +"!6-)!0! !+ N .*%

5%* ! 6-)!0! 7) "$*5(*%.<) *$%>(<) "!+ !$16*(# 63) *"'2#%H3 !+ !"#? ! I%:5$*((*
!# #"#H35#1 #-507* ! 0'5!9 .*% .*)#1A (=&$% 6J(#$* 2#) =&#% ("#$2#+#1?
23 K"!$#1 .*)#1A )* #.0:F#% ! N 7A L2%*.$%JM9 LN3/%*.JM J L6+)2+*6%.JM *"'2!63 !+

L6+)#&!-AM J L*)*0!5%.!-M R? B:># "$*5(*%.'A *$%>('A .*>!$1;#*% *"' 3 2#.*2%.J !+

*):"+H3 (0) ! (1) (2) ! ! ! 9 '"!+ (" 7→ (")) ∈ N 9 !!" 2%*/!$#%.=A 2#.*2%.=A *)*"-H#%A
"#"
 !" !"#$%&#$' &! )*+,+-#./01
## ## ##
# # #
✿
✲ ···
✸ h2 2i ✿
✲ h2 1 1i ···
✶ h2 1i ✿
✲ h2 0i ✲ ···
h2i
✗

##
#
## h1 2 3i ···
# ✒
✯
✿ ···
h1 2i ✲ h1 2 1i
✸ ✿
✲ ···
✶ h1 1i
✿
✲ h1 0i ✲ ···
h1i ##
✒ # ✿
✲
✸ h0 2i
✿
✲ h0 1 1i ···
✶ h0 1i
✿
∅ ✲ h0i ✲ h0 0i ✲ h0 0 0i ···

2$34/1""1 !" 5 $%&'( )*'+, +. /0'+. 12345#

6 7(/+, )8, 9:0 9;<8% <8 8=+:9;>+.)9 8 ?87%&@ 8=+9A*7)88 B%8 + N =+.
*/+.< 7/*7C )9 + '(?AC)8 +. E.<9/+F,# G8 +';7+.)9 C< +%&+B*<9%8 H<
1*1,)$6%* )7+&)*8,.* +) N &8% I8 :9;>+.)9 (% &@I9 8<8A.%&( 7F<+A+
%&8<+=+%9; C< J=(I97C +. E.<9/+F,K :CA8:L 9;<8% L 8=8'%I)C( L %7+=ACI%&(
)9 + N # M.( + 9#%/!"1 :;,#$+) )*8,+) !"#! 9;<8% 7C)8<%&(K
9=9%:L 7/9:(< &@I9 7F<+A+ )9 + +=+;+ 87/+A9;8% C &A87%&L 8<@A.7C 9;<8%
8<8A.%&(# N%:%&(9'8K (A8 8 &<*+,1 =>?@A =+. =8;O+.< (7+ 7C)8<%&(
'(A+ 7C I9H';8 )*'+. &8% +A+&AL'H7C, 9;<8% 8<8A.%&@P 8=( + 9#%/!"1
+) BCDAEF !"$ K *<8 7F<+A+ ! ⊆ N 9;<8% 1Q45R 8&'%?0, (8< + ! &8% +
N \ ! 9;<8% &8% 8 :F+ 8<8A.%&8# M=( C< @AAC )9'%@K I8 :9;>+.)9 7+ G90S
'C)8 !"$# (% C T.7%&L )*I+:+, 8=(:9%>C, C, J=(I97C, +. E.<9/+F, B%8 8
8<8A.%&@ 7F<+A8 :9< )=+'9; <8 :079% AF7C 7+ B9<%&( '(?AC)8 +. E.<9S
/+F, =+. :9< */9% 8&()C A.I9;# N&(, 8=( %, 9T8')+B*, +., 7C< 8<@A.7CK
8 G9H'L)88 !"#! &8% !"$# =8'+.7%@O+.< +.7%87%&(K I9)9A%8&( 9<:%8T*S
'+< 9=9%:L +% 8=+:9;>9%, +., 9=9>CB+F< ()+'T8 + '(A+ =+. =8;O+.< +% 8'/*,
9=%A+BL, 78 &A87%&@ )8IC)8%&@#
!" " % &'() '+ N # 6% :%8%7IL79%, )8, B%8 + /0'+ N =CB@O+.< 8=( C<
8=9%&(<%7L +. H, + 70)8 +. )9B8AF9'+. :*<'+. 7+ NK )9 C< +'+A+B;8

!"#$% &' !'#()+&",& "& %-(" !#'. '(/0 '#(1 02 3,0 $%&'( 4&' $.+5" 6'55+78 $%&'( "
/5$(-% 9: '!0-$(;9: 0( " R $%&'( !"!#!$%&' ()*+&%&,-8 !", $%&'( $&-('<4#"& '!"45$) '
.(' 9& '&+5,)9 '55+ +&$, )9 ')%': .(' 9 ),&"5"1$=#%'2 >$=#"? $ " @A#" BCDEF =:
6G9<('/H '!0-")97 ", R $!$(-H -$& $!(#4!$( 4"($: ',%)$(:8 /+1$ ∈ N /'1"#%I$( @=#%:
' <(J"5%' ' 6G9<%'7 ", (0)! (1)! " " " 2

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

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

N = [N∗ ]
.' /0123%14' 1/ 5671/ 89:;< &'413=> #$%&'(#)*(+,- )?@:ABC<BC,- 0>7(1+
7DE1%'F 0712$7(%G 1 %HI=' IF 4JKIF L2I=>D1M 2' =J4I 1/ N - ' G0>(7'
&4'N(G 1/ N∗ O .1 #-%.+/01%, 2I=>(12/%H41/ >D%'( 1 2/=04P7$=G 1/ $F
071F 1 N -
! = ! N \ ! ) Q+",
R0D2IF >D%'( 57P2(=1 %' >0>&>D%1/=> 1 2/=S14(2=H T(' '75(&G =P='' 4J+
K>$%-
" ⊑ # ⇐⇒ ! " ⊂ # (" ∈ N∗ $ # ∈ N )$ ) Q+U,
J2( 01/ %' /01N>D5%>( H( =(' 0>0>7'2=J%I '&141/VD' " >D%'( '75P &G01(1/
2I=>D1/ #- =(' .0(#233'#$ 1/ # 01/ 0712N(17DE>( (F 076>F WX(") (=JF 1/O
(' &GV> " ∈ N∗ - 1 23%141
N = ! {# ∈ N | " ⊑ #} = [N∗ ] ) Q+!,
2I=>D$% 1/ N 01/ >0>&>D%1/% 1 " >D%'( I 3&'(*'5 )A<:ZX[@;X@@\, P .&0'(6/
01/ &'V17DE>'( '0H 1 " 21 N O
78!9! :#;$#$! "# $%# # "$ % ∈ N∗ '
" ⊑ % ⇐⇒ N! ⊆ N
78!"! :#;$#$! ( )"*)+,-."# /- +.")-"0- .1-#" #2#3"45678
78!<! =0'#%>?! .1 2I=>(123%141 ! >D%'( ,*(';> )@?<A, '% >D%'( J%$2I T>(+
1%(6%- J2( 62>
# ∈ & ⇐⇒ (∃")[# ∈ N & N ⊆ &]' ) Q+],
;+&'#> ) W@C<\, '% 1 2/=04P7$=G 1/ >D%'( '%1(&H_ &'( ,*(';>@;+&'#>
) W@?<A, '% >D%'( &'( ' N31- '%1(&H &'( &4>(2HO
`/5%G 17DE1/=> ' '%1(&G 23%14' => I% '&H41/VI- >3&14' (21N3%'=I 2/%+
VP&Ia
78!A! :#;$#$! 9-# :;-)%) & ⊆ N .1-#" #-)"*$' #- *#" 5$-)- #- +"# *<4.
# ∈ &' =2<3>." *<2)"# +.")-"< N ,:" 2)= # ∈ N ⊆ &8
78!B! 0>,#$! ) , ?) ∅' ) N *#" *<4. +.")-"< .1-#" #-)"*<@*%.":<8
)b, A<4. 5)-):;-)%) {#} .1-#" *%.":$' #%%< $>" #-)"*$8
)", A<4. 56 *.-$ #-)"*$ :65."):;-)%) .1-#" ,-/:6 5"#B #*)%)=41#B +.")@
-"0-8
)U, A<4. )"*)+,-."# G #-)"*0- :65."):=-$%/- ,>." #-)"*7 ,-/:6 T G '
S
*#" C=D*<' T
*<4. )"*)+,-."# *%.":0- :65."):=-$%/- F ,>." *%.":7 )57 F 8
)cJ1/=> ∅ = N - J2( 62> I 07GKI IF 1=PF %' >D%'( 17(2=J%I T(' &GV>
1(&1TJ%>(' 2I=>(12/%H4$%O,
)!, ( )57 &1 ∩ &2 C;) #-)"*0- :65."):=-$%/- &1 ' &2 .1-#" #-)"*7' *#"
C=D*<' 6 ,-/:6 (1 ∪ (2 C;) *%.":0- :65."):=-$%/- (1 ' (2 .1-#" *%.":78

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
2345#$6!7 # $ %&'( )(*,-*& (.-/* /-,*012 /3,4 N = {N }2 0/*2 567
S
)0(08*9:-/2 , N = Nh i (.-/* /-,*0;< =* )(*,-*:> (.-/* (?.5@> 0A(*5:>2
/?; @- B50@5@ !"#C /- ∈ ! N 2 ;( " 6⊑ 2 0/* &8/ 6?&8D(* # $ EF(") 9(
(#) 6= "(#) 0/* :5* ∈ Nh!(0)"### "!($)i (-G Nh!(0)"### "!($)i ∩ N = ∅< H, 0(-;
54-,A, (.-/* @ :-I5@ @> 0(-1> #J$ ,*0,):-(*/> )(*,-*G-2 569K,A*0&
∅ = {N | N ⊆ ∅}%
S

#L$ M-/ 9,-,54-,A, { } N(- (.-/* /-,*0;2 N*;* N(- ?(8*:D(* 0/9./ )(*,-*&2
0/* &8/ N(- 9?,8(. -/ (.-/* :-I5@ )(*,-*G-< O9I> , 569?A18I9& ,6 (.-/*
/-,*0;2 /3,4
N \ { } = {N | " 6⊑ }%
S

#P$ Q- , & (.-/* /-,*0; 0/* 9@ 0(-;2 ;( , 54-,A, {" | N ⊆ &} (.-/*
9@ 0(-; 0/* /?/8*'9@;2 0/* &8/ 9?,8(. -/ /?/8*'9@'(.<
#"$ B9(5, /?; ,- D/8/0@8*59; I- /-,*0G- 56-;AI- 5@- B50@5@ !"#<
#!$ Q- / &1 2 &2 (.-/* /-,*0& 0/* ∈ &1 ∩ &2 2 ;( 6?&8D,6- "' ( ⊑
:,*/ G5( N ⊆ &1 0/* N% ⊆ &2 < =* A:R(*> "2 ( (.-/* 56)08.5*9(> (?(*N1
0/* ,* N4, (.-/* /8D*0& 919// ,6 < Q- ?<D< " ⊑ ( 2 ;( N ⊇ N% 2 0/*
(?,9:-I> N% ⊆ &1 ∩ &2 2 /08*KG> /6; ?,6 D8(*/S;9/5(< */ -/ N(.R,69( @
N6U01 *N*;@/ I- 0A(*5G- '(I8,49( 569?A@8G9//< ⊣
= DG8,> VWXYZ (.-/* !"!#!$%&'( )*+!( 9( ,- 0A/5*0; ,8*59; ?,6 (0':7
5/9( 5, $"%!2 /AA& ?,A4 (*N*0;>2 (R/*./> @> (?;9(-@> K/5*01> /-/?;08*5@>
/-&9(5/ 5@- ,?,A,)./ ,6 0/* @ 56-N6/5*01 N,91 ,6 N:-8,6 N∗ < [@-
/?;N(*R@\0/* 5@ 56-:D(*/2 DI8.> 5D;A*,\'/ (?*0/A(5,49( @- (R1> (8*97
9:-@ *5,N6-/9./ ?,6 565D(.S(* 0&'( N:-8, ) 9( , 5G9/ ,6C
∈ [) ] ⇐⇒ (∀" ⊑ )[" ∈ ) ]% # ]7^$
_.-/* &9(5, (?/0;A,6', ,6 ,8*59,4 ,6 [) ]2 #`7P$<
!"&" ()+,-" ,! -./0%!-12!#! * 0324% &#0%-' 42 &4% /'2!2 42 0324% !
-*/4 562+!7) -! N8 * = [) ]9
2345#$6!7 Q- ∈! [) ]2 ;( )*/ 0&?,*, " ⊑ 2 " ∈! ) 2 0/* (?,9:-I> N ∩
[) ] = ∅2 &8/ N ⊆ [) ]a (?,9:-I> , [) ] (.-/* /-,*0; 0/* , [) ] 0A(*5;<
Q-*58;3I>2 /- /-*5,*D.5,69( 5( 0&'( 5@9(*,54-,A, * , N:-8,
) & = {" ∈ N∗ | (∃ ∈ * )[" ⊑ ]}'
! # ]7b$
;( ?8,3/-G>
* ⊆ [) & ]%
Q- , * (.-/* 0A(*5;2 :D,69( (?.5@> [) & ] ⊆ * C (?(*N1 /- ∈
! * 2 ;( )*/
0&?,*, " ⊑ 2 N ∩ * = ∅ /3,4 , 569?A18I9/ * (.-/* /-,*0;2 &8/ " ∈ ! )&
0/* ∈ &
! [) ] /?; @ # ]7^$< ⊣
= K/5*0;> /6;> D/8/0@8*59;> 9/> (?*8:?(* -/ /R*-,915,69( / 0A(*5&
5@9(*,54-,A/ /-&A,)/ 9( *> 56-N6/5*0:> *N*;@(> I- N:-8I- ?,6 / ,8.7
S,6-< c(- (.-/* A&',> -/ '(I815,69( , 549?A()9/ 56-N6/5*0G- ,8*59G-

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !!

"#$ %&#'#$(#)* +, . !"#!$ &'( )*+,*-.$ #$ N / 01+ &2 %* 34* 45*%2
674+8495%: 84 &%85% %$1.9;/ &'%12&; %*5'.<. #$ =9#$>
/0121 3-& ,451 ?0#$84
| ! ⇐⇒ ! #2 &%2 ! 45*%2 $ !,6.6$ *5 @ ABCD
⇐⇒ (∃" # EF( )$ EF(! ))[ (") 6= ! (")]$
&%2 84 . G$12&; 4"0&%1. #$ 1$8H#'218#) 1% 1.845%/
| % ⇐⇒ ! ¬[ ⊑ %] ⇐⇒ (∃! ⊑ %)[ | ! ]&
I '0J. #&$ 78$& @KLEMNKD 1# 30*9# ' %* 0O42 %1$8H5H%14, 4"4&P142, 1#
' / &%2 # 30*9# ' 45*%2 #&$ 79,*": @KLEMNNMQRD %* &P(4 ∈ ' 32%1"P%2 1#
'/
∈ ' S⇒ (∃ 1 $ 2 ∈ ' )[ ⊑ 1 & ⊑ 2 & 1 | 2 ]&
%9%.9#)84 "+, % 32%1"U84*% 30*9% 34* 0O#$* 498%2&#), &=8H#$,>
! "#$%&!"'(!)! ( %*(+& ;<*&: @LVWXV ND +( %*(+& ",$+ -&+".,$%(!/ -01
(3!/> Z% 0'42% 1.842#1)*#'% 45*%2 4J #9218#) &'421P>
/01=1 > '? ?1 456% 7%&!(&5 N %*(+& 0)%&+8
/01/01 -4$ ?1 456% $# 9%(:; 0)%&! "#$%&!"'(!)! ( 0<%& .)#6&9:#+ c8
5678!&9:* [1+ ( = [' ] ="#$ # ' 45*%2 8. &4*=/ 32%1"U84*#/ &%2 32P'4J4
1$*%9;142,
) : ' → '$ *:' →'
"#$ G%*49U*#$* =2 # ' 45*%2 32%1"U84*#/ 3.'%3; 0#24, U14 72% &P(4 ∈ '/
⊑ ) ( )$ ⊑ * ( )$ ) ( ) | * ( )&
\"= # ?4U9.8% \*%39#8;, 72% ]0J42, A1BB/ $"P9O42 1$*P9.1.
+ : {0$ 1}∗ → '
%"= # 30*9# +* 3$%32&U* '0J4+* 1# ' "#$ 2&%*#"#245 2, %$=.4,
+ (∅) = ∅$ + ( ,h0i) = )(+ ( ))$ + ( ,h1i) = *(+ ( ))&
[12 # + ( ,h"i) 45*%2 7*;12% 4"0&%1. #$ + ( ) 72% " = 0$ 1/ &%2 P9% . + 45*%2
%$1.9P 8#*##*2&;/
! ! S⇒ + ( ) ⊑
⊑ ! + (! )$
&%2 8"#9#)84 *% #951#$84 .* - : C → [' ] 84 #* )"#
- (%) = ! K^L {+ ( ) | ⊑ %}& @ AB AD
I &95128. 232=.% ., + 45*%2 =2 10H4%2 4"51., .* %1$8H2H%1=.%/
| ! S⇒ + ( ) | + (! )& @ AB D
2% *% # 4"%'.(4)1#$84 %$=/ 01+ ` " 4'PO21#, 84 .* 232=.% (") 6= ! (")/
012 "#$ 72% &P"#2# ./
. ,h0i ⊑ $ . ,h1i ⊑ !

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>>
 !" !"#$%&#$' &! )*+,+-#./01
#$ &'()&*+',- ./'0)12 #&)3 4/2 45+.6472 4/2, & (! "h0i) 8&+ (! "h1i)
09'&+ &./6:9:&.& 8&+ &)3 ; 64'44'+83;& ;2 < & (#)< ($ ) 09'&+ 0)0=
8(.0+2 4/2 8&+ 0)46>'?2 0)9.;2 &./6:9:&.&@ A0*+8( ; # B= , ./'0)(C0&+
3+ ; % 09'&+ 64'4645D+.632< 8&+ &/3 D&'051'0+ 3+ C ≤ [& ]< &/3 )4/ E50+&=
F36&.0@ ⊣
G &)*$ &/$ C0'980/.; ;2 &)3H0+I;2 4/ JKLMNO 3+ 4 R 09'&+ &'&)&59P6;4
# !"#,< /)4H09E'0+ 6+& D/.+8$ )53.:&.; .4 53:*;6& 4/ R/'0E472S C+& '&
&)4H09I4/60 3+ >'& &'&)&59P6;4 .;60+4.7'4*4 >E0+ )*;P+83;& c< &5809 '&
H09I4/60 3+ )05+>E0+ 6; 80'3< >*0+4 /)4.7'4*4@ T/3 09'&+ )54D&'>2 C+& &
&'4+8( #0)0+H$ 8(P0 N! 09'&+ >*0+4 .7'4*4, 8&+ 0)9.;2 &*;P070+ C+& & 8*0+.(<
C+& & 4)49& 36?2 E50+(F0&+ &)3H0+I;@
"$!""! %&'()*+ ,-./01234.56780. !"#$ %&$'(* +,-(./-&- ' -+ N
0'1(,"1' 2$ 2-/10'%* 3*,- ($ 0.- 45/1 +,-(./-&1

' = ( ∪ )* ( ∩ ) = ∅* # B= U,
5(' ,-+ - 9:(;<+= #VWOLWX, ( /1 $6/1' 5&$'- (./-&- %1' - >?+@9+(*A<B
*A(B= #Y KMMWOW[ \KOM, ) /1 $6/1' 1,13'#27*
])0&+ 3+ 8(P0 &'&)&59P6;4< 8*0+.3 .;60+4.7'4*4 >E0+ 6; 80'3< >*0+4
)/5$'&< 8&+ 0)46>'?2 >E0+ )*;P+83;& c@
2345#$6!7 ].? & = & " 3)?2 .;' # B=^,< >.+ )4/ ' = [& ] 8&+ 4 & H0'
>E0+ 056&+8472 836:4/2@ _>4/60
) = ! {[&! ] | # ∈ & & |[&! ]| ≤ ℵ0 }*
S

( = ! ' \ )+
`I 45+.647 4 ) 09'&+ >'?.; &)&5+P6;$2 4+84C>'0+&2 &)&5+P6;1' ./'3*?'
8&+ 0)46>'?2 &)&5+P6;3 #)53.0I0 ;' 0)98*;.; 4/ C,N 0H1,< 8&+ &)46>'0+
'& H09I4/60 3+ 4 ( 09'&+ >*0+4@
A4 .7'4*4 *>I0?'
,& = {# ∈ & | |[&! ]| - ℵ0 }
09'&+ #0784*&, H>'54< 8&+ 8&0/P09&' &)3 4' 45+.63 4/ ) <
. ∈ ) ⇐⇒ . ∈ ' & (∃# ⊑ .)[# ∈/ ,& ]+
T**( ( = ' \ ) < (5&
. ∈ ( ⇐⇒ . ∈ ' & [. ∈/ ' ∨ (∀# ⊑ .)[# ∈ ,& ]]
⇐⇒ (∀# ⊑ .)[# ∈ & ] & (∀# ⊑ .)[# ∈ ,& ]
⇐⇒ (∀# ⊑ .)[# ∈ ,& ]
⇐⇒ . ∈ [,& ]*
>.+ )4/ &5809 '& H09I4/60 3+ 4 ,& 09'&+ H+&.)160'4@ 542 &)&C?C$ .0
(4)4< H0E36&.0 3+ 8()4+4 # ∈ ,& H0' H+&.)(&+@ T/3 .;6&9'0+ 3+ 3*02
4+ 0)08(.0+2 4/ # .4 ,& 09'&+ ./C859.+602< 0)46>'?2 )54.H+459F4/' >'&
64'&H+83 .;6094
. = Ya\ {$ ∈ ,& | # ⊑ $ }+

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

#$%& '()* *+,'./0 %1 /% !" *23.4 +5%/,664/0 %1 #7

[" ] = {#} ∪ {["! ] | ⊑ $ ∈ " & |["! ]| ≤ ℵ0 }%
S

'.4 /13*+89 % [" ] *23.4 .+.54):0; ,3</0 .+.54):083 /13=><37 +%1 *23.4
(%+%?
#$;3%1:* 0 :%3.@4'=0. 09 @4(/+./09 A BC DE 64. +5=F>0:.7 !"#$? ⊣
!"#!$# %&'()*+# G4. %4'%6,3*4. Γ /0:*4%/13=><3 ,H*4 03 ','*./ 0 .3
'()* .3.+.52):0% /&3%>% /03 Γ +*54,H*4 :0 '*3=7 ,>*4% 1+%/&3%>%? GI .1;
03 '>./4'; %5%>%62.724 0 %4'%6,3*4. F <3 '>*4/83 /0:*4%/13=><3 ,H*4 03
4@4=0. 07 ; A.+>%&/*5.E7 !"# $#%&( &)*#%+&,-+$+ ./#% )- %0%()1 0?
!"#!1# 2(3.(.# 2- *%1 +% +3.-#%1 &)*#%+&4-($5- Γ ./#% )- %0%()1 06
(# 1% ) +% +3.-#%1 Γ# 5- 1718%"*)9- #-9&#5- 17( )- Γ #7:&); ./#%
)- %0%()1 0<
J13(6*.4 =4 '()* F# /0:*4%/&3%>% 09 :%5$;9
& = $∈N '$ A BC KE
S

:* '()* '$ '>*4/= ,H*4 03 4@4=0. 0? L +5=./0 .>0)*&*4 '.4 64. . GÆ C
/&3%>. 09 :%5$;9
& = $∈N ($ A BC ME
T

:* '()* ($ .3%4'=7 .>>( 0 .+=@*4N0 @*3 *23.4 =/% .+>;O *23.4 :(>4/. *1C
'%>=*5% 3. .+%@*2N%1:* '.I *1)*2.3 03 4@4=0. 0 64. 03 +%>& :*6.>&*50
%4'%6,3*4. <3 .3.>14'83 /0:*4%/13=><3?
!"#!4# %&'()*+# J&:$<3. :* %3 %54/:= 5#$67 /13(50/0 ) : * → + .+=
,3.3 %+%>%64'= H85% /* '(+%4%3 (>>% *23.4 (789:;+7 .3 0 .32/5%$0 *4'=3.
) −1 [(] '()* .3%4'%& /13=>%1 /% + *23.4 .3%4'= /&3%>% /% * ? P% /0:*4%C
/&3%>%25 & ⊆ N *23.4 /8/<7'3* AQRQSTUV E ; =>?@AB7 .3 *2* & = ∅ ; % &
*23.4 *4'=3. %1 H85%1 XQVYZ .+= :4. /13*H; /13(50/07 /1:F%>4'([
A = ! {& ⊆ N | & = ∅ ∨ (∃ /13*H;9 ) : N → N )[& = ) [N ]]},
L /13,H*4. /% N *+4@,H*.4 ,3.3 .+>=7 /13@1./4'= H.5.'054/:= +%1 *23.4
% '>*4@2 <3 *$.5:%683 09?

24 !"#$%!& '('"')*# )%# # $,-.%'$/0'"# .*0#% !1234 1$5.,6 #""1 7$' !#"1 .8(#%39
-:0, 2'; 8.0 -2'(.* !#0.*4 0# ,0 #2'</).%= >. !1?. '2'"')%!7 5@('6 # !".%$1 $/0'"#
!#"'/0#% F 9$/0'"#6 #27 ' )#""%!7 !"#$!%A # #0'%!1 !#"'/0#% G 9$/0'"#6 #27 ' ).(9
-#0%!7 &!'(!%! B$,-#*0.% )*+,-./CA !#% #2#(%?-,:4 .0@$.%4 Γ9$;07"30 .*0#% Γ 9$/0'"# .0@
#2#(%?-,:4 '-:4 Γ9$;07"30 .*0#% ΓÆ 9$/0'"#6 #27 # ).(-#0%!1 01##! !#% 21" 45 46(% )%#
789:; !#% -=/= D.0 ?# 5(,$%-'2'%&$';-. #;& ,0 '('"')*#6 .!74 #27 -.(%!:4 #0#<'(:4
$. F !#% GÆ $,-.%'$/0'"#=
25 .(%'(%F7-#$. $' 5@(' GHIJK6 .2.%8& ;21(5';0 2'""'* '(%$-'* L#0#";%!@0 $;07"30M

2'; 8.0 .*0#% %$'8/0#-'% $. ).0%!'/4 '2'"')%!'/4 5@(';46 #0 !#% $;-2*2';0 $' N =

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
!" #" $%&'()*" !"#$%'!' : N → N ()#*+ !"#(,-. *# /*+ 01#2# *#
"3$%,(+ 02#22#+/- !"#$%'!' ! : N∗ → N∗ !+. 456(+.7 52+* 8!(
(") = #$% {! (#) | # ⊑ "} (" ∈ N )
& '( !)
= lim ! ("($))%
*+ ,-./ 02 3 ! : N∗ → N∗ +,-.-/01%2 3 45678343 +6 /96+2 .:6::62;<
;+2 2;+6:=:2/9 36 & '( !)>
2345#$6!7 ?6 3 2;+6:=:2/9 36 & '( !)@ 0/
(") ∈ N! ⇐⇒ (∃# ⊑ ")[& ⊑ ! (#)]'
;+2 456/=AB ;7C/ +6948:D3 /2;06+ E/2:627B
−1
[N! ] = {N" | & ⊑ ! (#)}
S

/96+2 -6F43 E/2:62A6@ =:5 43.+96/2 02 3 /96+2 456/G<B>

2+ : I54;:,0/8: +6948:D:@ 5=:C-:5./ 02 3 /96+2 456/G<B ;+2 C-:5./
( (#) = ! {& ∈ N∗ | [N" ] ⊆ N! } ( # ∈ N∗ ) %
J7C/ ( (#) 6= ∅@ +D:K 3 89L+ ∅ ∈ ( (#)@ & ⊑ & ′ ∈ ( (#) M⇒ & ∈ ( (#)@ ;+2
&' & ′ ∈ ( (#) M⇒ [N" ] ⊆ N! ∩ N!′ M⇒ [& ⊑ & ′ ∨ & ′ ⊑ & ]'
/=/2I< & | & ′ M⇒ N! ∩ N!′ = ∅> N=:.-6FB@ 5=78G:56 IK: =/82=A4/2BO
#/03.&! > P=78G/2 ;7=:2: & ∈ ( (#) -:2: A4/ QR(&) = QR(#)> *-:5./
! (#) = ! & = 3 .:6+I2;< ,-S3 4: ( (#) -:2+ A4/ QR(& ) = QR(#)%
#/03.&! T> U/6 5=78G/2 & ∈ ( (#) -:2: A4/ QR(&) = QR(#)> VW +5<6
36 =/89=F43 C-:5./
! (#) = ! #$% {& | & ∈ ( (#)}%
X .:6::62;03+ 3B ! -=/+2 /K;:,+ +=0 2B 456/=+EFE-B
#1 ⊑ #2 M⇒ [N"1 ] ⊇ [N"2 ] M⇒ ( (#1 ) ⊆ ( (#2 )'
C/F8A6+B 2B I27D:8/B =/82=A4/2B 4:6 :824.0 F6 ! (#1 ) ;+2 ! (#2 )> 2+ 6+
I/9S:5./ 36 & '( !)@ =+8+38:K./ =8A+ 02 /=/2I< ! (#) ∈ ( (#)@
# ⊑ " ∈ N M⇒ (") ∈ N# (") M⇒ ! (#) ⊑ (")%
?=0 3 456-G/2+ 3B @ +6 & ⊑ (")@ 0/ E2+ ;7=:2: # ⊑ "@ [N" ] ⊆ N! @ 78+
& ∈ ( (#) ;+2 /9/ +.-4FB & ⊑ ! (#)@ +6 3 2.< ! (#) :89L/+2 ./ 36 #/03.&! T@
< 5=78G/2 ;7=:2+ /=-;+43 #′ :5 #@ ./ QR(#′ ) = QR(& ) ;+2 -:2+ A4/ & = ! (#′ )@
436 7,,3 =/89=F43> ⊣
X & '( !) I96/2 -6+6 5=:,:E242;0 G+8+;3824.0 3B 456-G/2+BO 3 45678343
! (#) 42B ,-S/2B .+B I96/2 :,:-6+ ;+,K/8/B =8:4/EE94/2B ! (#) ⊑ (") 3B 2.<B
3B @ ;+CAB 36 8:D:I::K./ ./ I2+I:G2;7 +;82Y-4/8/B =8:4/EE94/2B # ⊑ "
3B ./+Y,3<B 3B> Z/ 2B -66:2/B :5 J/D+,+9:5 3@ .=:8:K./ 6+ IA4:5./
+5438< ;+2 ;:.[< I2+K=F43 +5<B 3B 2I-+B>

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

!" #" %&'()*" !"#$%'!' : N → N ()#*+ !"#(,-. *# /*+ 01#2# *#

()#*+ 2 3(%+2%+!01. !2 N /$32+*. 02#22#+/-.4 !"#(,25. *3(+/1#+!'.
! : (N " N) → (N " N)
!2# (3*676+/1 ,8%2 (N " N)9 #$%&'() %* ,( -./0%1 #"++2 3 %,(,,(/45
)6*/41(/03 ! : (N " N) → (N → N) *7()/ 08(*95: )( /4)(,6,/*7 3( /0,;8()%7)
! (#)($) = % ⇐⇒ (∃& ∈ N∗ )[& ⊑ # & ! (&)($) = %]'
<.30/%,6,/,$%* *;= , >*>,(1: 1/ , N *7()/ 86,0$(,?, ,8 (N " N)2 6,8
)6,*?*7)/ )4./@=: )61 1?) ) %*>/0/4A ,8 03%*7)B 3 @)0/45 6).)5.303
*7()/ 3 ;/A06)03
(N " N) = N∗ ∪ N ( N∗ ∩ N = ∅' C DE FG
5678!&9:* H( 3 : N → N *7()/ 08(*95:2 86,IJ,8%* 1/ 3 ) 3( 86,?,E
>7K*/ 16': 0, L*=.3%)2 4)/ IJ,8%* C*67 ?JM*/G
!=)∪ (
;3?);5 ! (&) = ) (&) >/) & ∈ N 4)/ ! (#) = (#) >/) # ∈ N N O 08(J9*/) 3: !
∗

*7()/ 6.,&)(5: 4)/ , )(70.,&, 6,?$ *$4,?,N ⊣

!" ," -(./(/" :();( 2 <(5/2=2 *#)!%2>2?4 @'=*@- 1+ *# ' :N →N
()#*+ 2 3(%+2%+!01. !2# N /$32+*. !"#(,25. *3(+/1#+!'.
! : (N " N) → (N " N)(
1( ' ()#*+ !"#(,-.9
P, 1./0%) %): *6/.J6*/ () )()>('.7K,8%* )%J0': 3 08(J9*/) 08>4*4./E
%J('( 08().50*'( 0, 9=., RSTUV2 %* , %A/2 6).)3.=(): 1/ 4AI* W3&7,
(#)($) 3: /%5: (#) %6,.*7 () 86,?,>/0*7 %* 9.503 6*6*.)0%J(,8 6?5I,8:
/%=( ,8 #N X6': 4)/ 0, Y*&A?)/, #2 3 )()&,.A 0* 4A6,/) Z6.,&)(=: 08E
(*95[ 08(A.303 9'.7: )61;*/M3 3: 08(J9*/): 86)/(700*)/ *674?303 )8,$ ,8
)6,*?J0%),:N
!" 0" 1&'()%2" \() 03%*/,0$(,?, * ⊆ N *7()/ (3)4*562 C ^_`S aG )(
* = [+ ] 16,8 + ;J(., 6*6*.)0%J(3: ;/)4?A;'03: 0, NN \6*)/ 1/ 4AI*
08%6)>J: 03%*/,0$(,?, *7()/ 4?*/012 4)/ , C *7()/ 08%6)>J:N
b*./4,7 I) 6).)M*(*8,$( %c )81( ,( ,./0%1 3: 08%6)>7): >/) 03%*/,0$E
(,?)2 )&,$ 86A.9*/ >('01:2 4?)0/41: ,./0%1: 08%6)>7): 0* >*(/4,$: ,6,E
?,>/4,$: 9=.,:2 0$%&'() %* ,( ,6,7, , !" 0 *7()/ I*=.3%)N <'.7: 091?/,
4A()%* , 7;/, 4)/ %* 3( Z*?*/13)[2 6,8 4/ )85 *7()/ >*(/452 ,6,?,>/45
J((,/)N d;= *(;/)&*.1%)0* 0/: 08(;8)0/4J: /;/13*: )8=( '( 03%*/,08E
(1?'( 6,8 *7()/ */;/4J: >/) , 9=., RSTUV2 4)/ I) )&50,8%* ,8: ,6,?,>/4,$:
9).)43./0%,$: ,8: >/) 6.,@?5%))2 7 !" , 4)/ 7 !"+ N
!" 8" &%*(/" C G (+/1#* [* ] !"03*625. !'0(+2!"#1=2" * *31 !"#(,-
!"#$%'!' : N → N ()#*+ !"03*6-.9
CeG (+/1#* [* ] !"03*625. /*+ A=(+2" !'0(+2!"#1=2" * *31 !"#(,- 02B
#202%>+!01 : N ֌ N ()#*+ !"03*6-. /*+ A=(+*9

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
2345#$6!7 # $ %&( = [! ] )*+, + ! -./01 *-*-20&34/56 71089:7(&56
801 5 " ,*+9+;.<-1 5/ # &=3>(/0 3- 5/ # "? @$A 801 4&(
$ = ! [!] = {% | (∃& ∈ )[% ⊑ # (&)]}
+ 74/2+ )9(/ (/ 02B18C/ 353:(/ 56 -18)/06 # [ ]D E28-. /0 7-.F+,3-
)1 + $ -./01 74/2+ *-*-20&34/56 71089:7(&56 801 # [ ] = [$ ]D
%&( % ∈ $ D G4+,3-
' = ! {( ∈ ! | % ⊑ " (() ∨ % | " (()})
801 ,*+H4+,3- )1 & ∈ [! ]D E/ % | # (&)A )- ,*:2B-1 >,&18)6 021H3)6 *A 4+1+6
C&- % | " (&(*))A :20 &(*) ∈ ' I 801 0/ % ⊑ # (&)A )- ;10 8:*+1+ *A % ⊑ " (&(*))A
+*)- *:91 &(*) ∈ ' D J20 + ' -./01 >2:B56 +, ! A 801 0*) + G-C2530
K-/:9106 ! *24*-1 /0 4B-1 *-*-20&34/+ ,*+&=/+9+
'0 = {(0 )+++ )("} ⊆ '
*+, -*.&56 -./01 >2:B56D 2+8=*-1 )1 ;10 8:H- & ∈ 4+1+ C&- % ⊑ # (&)A
,*:2B-1 8:*+1+ (# *+, 180/+*+1-. 5/ % ⊑ " ((# ) ⊑ # (&)A 801 -*+34/(6 8:H-
*017. +, % &+ $ -./01 02B18) 3M30 -/)6 0*) 0 " ((# )A 801 + 021H3)6 +,6
-./01 *-*-20&34/+6D
2+>0/C6A # [ ] ⊆ [$ ]D 10 /0 7-.F+,3- )1 [$ ] ⊆ # [ ]A 7-B)30&- #*2+6
0*0;(;M &- :+*+$ )1 ,*:2B-1 8:*+1+ , ∈ [$ ] \ # [ ] 801 H4+,3-
' = ! {( ∈ ! | " (() | ,}+
OC20 + ' -./01 >2:B56 +, ! A -*-17M + 3)/+6 2)*+6 ;10 /0 -./01 + " (&(*))
&,3P0) 3- + , ;10 8:H- * -./01 /0 1&B=-1 5 # (&) = , D E*) + G-C2530
K-/:9106A ,*:2B-1 *-*-20&34/+ ,*+&=/+9+
'0 = {(0 )+++ )("} ⊆ '
*+, -*.&56 -./01 >2:B56 +, ! D G4+,3-
- = max{QR(" ((#)) | . ≤ *} + 1)
801 -*194;+,3- 8:*+1+ & ∈ [! ] 4+1+ C&- , (- ) ⊆ # (&)A *+, *24*-1 /0 ,*:2B-1
-*-17M , ∈ [$ ]A 4&1 *+, + , -*174B-01 +&+7M*+- 0821P-.6 *2+&-;;.&-16 0*)
3495 56 -18)/06 56 # D E*) 5/ :995 3-21:A (# ⊑ & ;10 8:*+1+ .A -*-17M +
'0 -./01 >2:B56I :20 " ((#) ⊑ # (&) -*-17M 5 " ,*+9+;.<-1 5/ # I :20 0 " ((#)
801 , (- ) -./01 02B18: 3M300 +, # (&)A 801 -*+34/(6 &,3P0:I 801 -*-17M +
8)3P+6 " ((# ) 4B-1 3182)-2+ 3M8+6 +, , (- )A *24*-1 /0 1&B=-1 5 " ((# ) ⊑ , A *+,
-918: 0/1.H-01 &+/ +21&3) +, ' D
#S$ T- +/ .71+ &,3P+91&3) +, # $ 801 5/ -*1*2)&H-5 ,*)H-&5A 4&( % ∈ $ A
4&1 *+, ;10 8:*+1+ ( ∈ ! A % ⊑ " (()D E>+= + ! -./01 710&*C3-/+A ,*:2B+,/
710>+2-18: &53-.0
&1 )&2 ∈ ∩ N$)
801 0>+= 5 " ,*+9+;.<-1 5/ # A
" (() ⊑ # (&1 )) " (() ⊑ # (&2)+ # "? U$

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !

"##$ (!1 ) 6= (!2 )% &'&()* + &,-.( /0-0/012(3/45% $1. 6'$1706- .36/8,8.9

3. "1 ⊑ (!1 ) ;.( "2 ⊑ (!2 ) '06 &'&;&,-06- 0 # ($) .'4 +- < =9 >?% ;.(
.6$ )(.3'0@- +- # ($)% $1. ;.( 0 /(;14&10 " ⊑ # ($) 30 % A ⊣
!"#!" $%&'()* +,-%./0 1023-/0 <BCDEC G HCG IJCKDCL% HMNOPQ% R !?A
!"# $%$&$'(")*, $%$-./01 2*)#/,23%,-, 45#/ )* 0#%16 4-#/, .&,23%,-,7
5678!&9:* S3T & = [N∗ ] .-.'.1,U/+0 3@-0#0% )VW06 4( + # 6'0#0X,Y&(
+- % ;.( UV3&
' = ! {$ ∈ N∗ | | [N ]| ( ℵ0 }) < =9 Z?
102.-\5 0 ' &,-.( /+ ;&-4 )V-10A
45))*A 8, 94%', ' #(%$/ # :9/$2&;)#%,6 9*-$9< =/$ 0!"# $ ∈ ' 6 .&!'5,.%
$1 * $2 ∈ ' 4,/$ ;2#
$ ⊑ $1 * $ ⊑ $2 * # ($1 ) | # ($2 ))
>&19#/?* * (. ;$U& $ ∈ ' ;.( ;$U& 3.U&14 ! ∈ N %
[N ] = { (!)} ∪ { [N ′ ] | # ($′ ) | (!)} < =9 R?
S

&'&()* (+ ) 6= (!) ^⇒ # ($ ) ⊑ (+ ) X(. ;$'0(0 $ V0(0 \3& + # ($ ) -. &,-.(

′ ′ ′

.3@/8.+ /& 0 (!)A "- 0 _*//. )&- .#+U&@&( X(. 0 $% 4&

$ ⊑ $′ ∈ ' ^⇒ # ($′ ) ⊑ (!),
V3( '06 ;$U& &(;4-. [N ′ ] /& # ($′ ) | (!) 3+- < =9 R? .-.2V1&.( 3& ;$'0(0
- ' ;.( &,-.( .'.1(U/+*% ;.( 6'$1706- /0-$7. .'.1(U/+V5 0 '#*U05 &'(9
$′ ∈
#0XV5 X(. 0 $′ A `1. + &(;4-. [N ] &,-.( V-T3+ &-45 /0-036-4#06 ;.( /(.5
.'.1(U/+*5 0(;0XV-&(.5 .'.1(U/+\- 36-4#T-% ;.( &'0/V-T5 &,-.( .'.1(U/+*%
&-$-(. 3+- 6'4U&3+A ⊣ <_*//.?
a'T5 30 !" !% &'(#VX06/& \1. 36-.1*3&(5
. : ' → '* /:' →'
'06 2.-&1\-06- 4( 0 ' &,-.( # 9)(.3'\/&-0% )+#.)* X(. ;$U& $ ∈ ' %
$ ⊑ .($)* $ ⊑ / ($)* # (.($)) | # (/ ($))*
;.( 01,Y06/& /& &',;#+3+ 06 b&T1*/.05 "-.)10/*5 X(. _VW&(5 6"77 /(. 369
-$1+3+
0 : {0* 1}∗ 1 '
.'4 0 )V-10 T- )6.)(;\- #VW&T- 30 ' '06 (;.-0'0(&, (5 &W(3\3&(5
0 (∅) = ∅* 0 ($ 2h0i) = .(0 ($))* 0 ($ 2h1i) = / (0 ($))*
;.( .6* + 0 &,-.( <.'.1.,+.? /0-00-(;*A c ;1,3(/+ ()(4+$ +5 &,-.( 4(
.-(30(7,Y&( .36/8,8.3&5 )6.)(;V5 #VW&(5 3& # 9.36/8,8.3&5 #VW&(5%
$ | " ^⇒ # (0 ($)) | # (0 (" ))* < =9d=?
;$( '06 &'.#+U&@&.( .;1(8\5 4'T5 &'.#+U&@+;& + < =9 ? 3+- .'4)&(W+ 06
!" !A e',3+5% + 0 6'0#0X,Y&( /(. 36-&7* 3 : C → N %
3 (!) = NMf {0 ($) | $ ⊑ !}*

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>=
 !" !"#$%&#$' &! )*+,+-#./01
#$% &'()$*+,
[C] ⊆ [! ]" - ./" 0
123'(452 +'$ 7 84*9287 # = $ 7, :(85;*7, $ #$% $<=, 7, > &(< <&(/
?(@AB2$% $&C 7 84*9287 3* % #$% & D
#(') = EFG {% (& (()) | ( ⊑ '}"
H # 2A*$% 8<*2I=, 5(*(5(')%85C, $&C ( - ./".0> J'$ 7 2%#C*$ 7, #[C] = $ [C]
2A*$% 8<5&$@=, #$% ;?2%$ $&C ( !" #> #$% 2A*$% <&(84*(?( (< $ [! ] ⊆ ) $&C
7 - ./" 0K ⊣
L( $&(;?285$ :2* 875$A*2% A&($ M;M$%$> 5;I'%, C(< :2AN(<52 C% <&J'I(<*
&J5&(??$ $*$?<%#J 84*(?$K
!"$ " %&''(" !"# $%#&') '*+#&,'-.,%, #/.0& 0.0%1&$)2
2345#$6!7 O83 ! = ! C&3, 8( - ./P0 @%$ ( :(85;*( #?2%8C 84*(?(
* 6= ∅> ;8% +82 &;'$ $&C ( * = [! ] @*3'AB(<52 2&A87, C% #J92 ?;N7 8( !
;I2% 2&;#$87> :2* <&J'I(<* 2'5$%#(A #C5M(%K Q&('(452 ?(%&C* *$ ('A8(<52
5%$ 8<*J'787 + : ! → ! ;(%$ +82
( ∈ ! R⇒ ( ⊑ +(() & ST(+(()) = ST(() + 1"
O83
UVWXS(() = ! ( ↾[0, ST(() − 1) (ST(() - 0) - ./""0
7 52'%#= 8<*J'787 &(< $)$%'2A $&C #J92 57 #2*= ?;N7 ( 2?2<$A( 7, Y7)A(K
Z&C ( 12+'75$ Z*$:'(5=, @%$ [;N2%, )"**> <&J'I2% 8<*J'787 % : N∗ . !
;(%$ +82
(, $* ( ∈ !,

% ( () =
+(% (UVWXS(())), $* ( ∈
/ !,
&(< 2A*$% -24#(?$0 34,5,%6 (< N 2&A (< ! > :7?$:= 2A*$% (?%#=> 8;M2$% $ 5=#7
∗

#$% 8<5)3*2A 52 7* $<(%#= 8( ! K Z&\ $<J &'(#4&2% C% 7 % <&(?(@AB2%
#J&(%$ 8<*J'787 $ : N → → [! ]K ⊣
!"$$" %&''(" !"# '1.#768 #&$).0 0.0%1&$,- '*+#&,'1.)%,1 #/.0& 0.0%19
&$62
2345#$6!7 Z* ) = $ [0 ] #$% 0 = [N ]> C2 ) = $ [N ]> #$% 7 84*9287 $
2A*$% 8<*2I=,K ⊣
!"$*" %&''(" :. $, :N →N #/.0& '1.#7#/8 '1.046'#&8; )# , '-.,%,
1 = {' | $ (') = (')}
<. '*+#/<. '0 ,3,/0 '1+=<.,-. #/.0& $%#&')2
2345#$6!7 ]&2%:= :%$)('2%#J 8752A$ ;I(<* $8<5MAM$82, &'(82@@A82%,>
'∈
/ 1 ⇐⇒ $ (') 6= (')
⇐⇒ (∃(, 2 )[$ (') ∈ N! & (') ∈ N" & ( | 2 ],

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

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

{! −1 [N ] ∩ " −1 [N! ] | # | $ }%
S
=
0&- 1&, $ ,*+)- 0+2&' )+$-31+ &%+.42+ 3)- ,#$(0+25 )+$-3.6 ⊣
!"#$" %&'()*+" !"#$%&'(*+ ,-./,%+ 0#% #"#$%&'(*+ 1'*+ #-#23%0.- /(4
',%1/3-526- ,7-#% ,"7/(+ #-#23%0*+8

5678!&9:* 7&2 &" = !" [N ] (, 389, !" &%+,:;< 3)- .=-&, #=1) '+
! :N →N (, $+ >#$
! (') = !#(0) (?@AB('))%
.#$%
?@AB(' ) = ! (( 7→ ' (( + 1)) = (' (1)% ' (2)% ) ) ) )
,*+)- ' &%+8='&' #$% )#$3,C)4*D,- &'(,*)6 =$C)+15 ' ! ,*+)- &%+,:;5F ,#,-G;
389, ! (' )(() (#$=,* +) %#$4$H-&,* )#. #,#,=)&(0+$ #4;9$5 -(1+ $% ' < 90$I
+)5 #=1) * = ' (0) 3)- (,8 :='&-($#$-1+)5 $ #,#,=)&(0+$ &>+$4$ -(1+
$% ?@AB(' ) #$% :=,-8D$+)- H-) $+ %#$4$H-&(. '5 !" (?@AB(' ))6 J#*&'5F
+ ∈ " !" [N ] ⇐⇒ (∃* ∈ N% , ∈ N )[+ = !" (,)]
S

⇐⇒ (∃' ∈ N )[+ = !# (0) (?@AB(' ))]

(, ' (0) = *% ?@AB(' ) = ,
⇐⇒ (∃' ∈ N )[+ = ! (' )]%
8=) " &" = ! [N ] 3)- ' 0+2&' 2+ &" ,*+)- )+)4%-3. &>+$4$6
S
K$ $%&-)&-3. &$-:,*$ )%$> $% %#$4$H-&($> ;)+ .- ' )#,-3.+-&'
' 7→ ('(0)% ?@AB('))
,*+)- ,#-($=C-&(.5 $% N &$ N × N L#=8H()- )+-&$-:*)L (, &%+,:,*5
&%+,)H(0+,56 -) +) G,*N$%(, .- ' $(; " &" ,*+)- )+)4%-3;< :=,-)D.()&,
T
0+)+ )+84$H$ ,#-($=C-&(.
-:N →
→ (N → N )
$% N ,#* $% &%+.4$% 2+ 8#,-=2+ )3$4$%9-1+ )#. &'(,*)6 -) '+ 3))&3,%;
(-)5 0$-)5 - < #=$&G-$=*D$%(, 38#$-) &%H3,3=-(0+' )+-&$-:*) . : N×N ֌
→N
3)- 90$%(,
." (') = (( 7→ '(.(*% ()))) O PIQ"R
S89, ." : N → N ,*+)- #=$C)+15 &%+,:;5< 3)- H-) 389, 8#,-=' )3$4$%9*)
{," }"∈N &'(,*2+ (#$=$>(, +) T=$>(, 38#$-$ ' 0$-$ 1&,
'(.(*% ()) = ," (() (*% ( ∈ N)/
)#U )%. &%+8H,)- .-
." (') = ," (* ∈ N)/
(, 844) 4.H-)< ' )+-&$-:*)
-(') = (* 7→ ." ('))

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
#$%&' #(')*+,'-)./0 1(. * !
N 3+&4

! ⇐⇒ (∀")(∃#)[ = $ (#)]
T
∈
⇐⇒ (∃{# } ∈N )(∀")[ = $ (# )]
⇐⇒ (∃% ∈ N )(∀")[ = $ (& (% ))] 5 678"9
⇐⇒ (∃% ∈ N )[(∀")[$ (& (% )) = $0 (&0 (% ))]
& = $0 (&0 (% ))]'
'& ;<=# "4 * ->%*?*
( = {% ∈ N | $ (& (% )) = $0 (&0 (% ))}
#$%&' ;?#'-. &(. * "#$%&4 <+& @ *)A
(= (
T

#$%&' #($-@/ ;?#'-A0 1??< &(. @% 5 678"94

! = $0 &0 [( ])
T

(*B -@)&$%#' .' @ *)A C% ! #$%&' &%&?B';A0 ⊣

"#$%'$ ()*+,-.$ D *';*EF%#'& B(* ) C% -B%.?C% /0123
*(*?*E';*> G3+*B
* #$%&' @ #?<G'-@ *';*EF%#'& B(*-B%.?C% *B * (*B (#+'FG#' & &%*';< ->7
45678
%*?& ;&' #$%&' + 7 4 H@?&HA #$%&' ;?#'-A E'& &(&+'=)@F/ #%3-#'/ ;&' @%
(+<I@ *B -B)(?@+3)&*/J
(∀")[! ∈ B(* )] K⇒ ! ∈ B(* ))
S

! ∈ B(* ) K⇒ ! ∈ B(* )'

LB+$C/ #%H'&,#+.)&-# E'& * G3+* MNOPQ RFR&'&4
B = ! B(N ) = @ *';*EF%#'& C% MSPQT -@)#'*-B%.?C%'
"#$%9$ :+;<+<$ !"#$" %' ( ()'*+%, -."' /%0+12 304135 0 (+5
B(* ) =
T
{E | G ⊆ E
& (∀{! } ⊆ E)[ ! ∈ E]
S

& (∀! ∈ E)[ ! ∈ E]}

"#/1' + 67"3#( 7(8 7")'-."' 1 1/('9:2 91' "7(+-/;, ( "4:.'*( -('( + 6
7"3#(<

"#$%=$ :+;<+<$ =/ {! } 19(4(8>#1 17% *?/(41 @ABCD2 %" 0 (+5

T
!
"#/1' "7#*0, @ABCD<
"#$%>$ -)*+,@$ E:>" @ABCD *0+"'(*?/(4( "#/1' 1/148'9% 5UVWTOX9 91' "7(6
+-/;, -."' 0/ '3'%01 A 5YTQZNX[PS\4 ]NVW[SP\9<

2345#$6!7 ^-C
, A = {! ⊆ N | ! ∈ A} 5 678_9
@ *';*EF%#'& C% @B@CD*;FB +D,4C<)G,HGB 0 D *';*EF%#'& A ∩ , A C%
-@)#'*-B%.?C% (*B #$%&' &%&?B';< ;&' (*B FG*B% &%&?B';. -B)(?A+C)& #$%&'

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

!
"

5&#6.%77% !"#* #$ " %&'()*+,-& $ '/0 $ !1

#2/-%+$3 '4$5 -6 $*&78$5 -+9'& :;-&7<
S =&' $9 -;-7< $> 7>8/;?*@8'$A3
:'& '9 :BC- ∈ A ∩ " A3 0- $ :'& -/+7?A $ 7>8/;<*)8B $>
(
S T
)=
-+9'& '9';>&:B '/0 $ C-@*?8'1 D/+7?A3 :BC- '9$&:0 759$;$
$ = S {N! | N! ⊆ $}
-+9'& '/'*&C8?< E9)7? =-&$9&@93 -/$8E9)A '9';>&:03 ';;B :'& 8- '9';>&:0
7>8/;<*)8' '/0 $ !"# 1 F>9-/B=-'& 0& ? A∩ " A -+9'& # 2/-%+$ /$> /-*&E(-&
0;' ' '9$&:B 7?8-&$759$;'3 :'& -/$8E9)A /-*&E(-& 0;' ' 759$;' GHIJK1 ⊣
F' -/08-9' %5$ C-)*<8'' %&'7'4?9+,$>8- ? 7(E7? '9B8-7' 7' '9';>&:B
:'& 7' GHIJK 7?8-&$759$;'1
#$ 7?8-&$759$;$ " ⊆ N !"#$%&'()" $ 7?8-&$759$;$ '/0 $ 7?8-&$759$;$
! 3 '9
⊆ "%
" ∩ ! = ∅&
*07-6- 0& '9 $ " %&'()*+,-& $ '/0 $ ! 3 0- ∩ ! = ∅1
!"#$" %&''(" M N *+% { " } -#" {!# } !./ #-/0/12')3 +45)"/+1670%6 -#"
8"# 70# # ' -#" ( 9 / ""# !"#$%&'()" / " #:7 / !# ; <7) / +.6/0/
" = S " T # ""# !"#$%&'()" / S " " #:7 / S # !# 9 !40#!=
" # ""# % " # ""# ∩ # !# = ∅&
S T  S
M O2P!N
S S T
" "⊆
!
MPN >6 # { " } -#" { # } )'6#" !./ #-/0/12')3 +45)"/+1670%6 -#" !)6 1:?&$)"
!
+.6/0/ @ABCD :/1 6# !"#$%&'()" / = " " #:7 / = # # 9 7) 1:?&$/16 !
S S
' (
!./ #&"25/' 0 -#" 0 E+) -#6F6# +.6/0/ @ABCD 6# 54 !"#$%&'()" / "0 #:7
!
/ #0 ;

89:;!&<=* M N F'C-*$/$&$58- :B/$&$ 'Q @*' =&' 0;' ' ( 3 '/0 ?9 >/02
C-7?3 " ⊆ ""# 3 :'& E7&

# ""# &
T
"⊆

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !! !"#$%&#$' &! )*+,+-#./01
#$%&'&#) *&+,*-) .#- ,-) /0' 1*%-2)3 24'51*
=
S
⊆
S T
!
! !"
6'5 *$&#- .#- 7 6%+7 ,42,7 6'5 4%*-#891#,*: -# 7 /25*%73 6#%#7%'01*
9- 7 569<*,7 #! ∩ ! ! = ∅3 '5,-#,-.= ,71#$&*- 9-
# ! ⊆ ! ! ( ! ! = N \ ! ! )%
.#- 2,-3 ,#<*%'6'-+&#) ' & .#- 6#$%&'&#) 6=>- *&+,*-)3 24'51*
#= # ⊆ ! "
S S
! ! ! !

' '6'$' 1* 7 ,*-%= '53 #?'0 ' & @#& 54#$'3 ,5&*6=A*#- 9-
# ⊆ T S ! ' ! !

B+%# #69 ' %9C>71# !"# DEF GHIJKLMN OKPNQ 24'51*

! ! ! "
T S S T 
! ! = !

.#- *>-.= # ∩ ! ! = ∅3 #59 6'5 <2>#1*:

S T 
!

DRQ S* #6#ATA@ ,* ='6'3 25.'>#U /-9- S 56@%4* .=6'-' ,0&'>' VHIFO ! !

#& T
6'5 &# /-#4+%-8* ' #69 ' #! 3 9* ' !
! ! <# /-#4+%-8* ' #69 '
# W91T) *$&#- ,0&'>' VHIFO: ⊣
!$"#$" %& '()*+,- ./-01*/2,&3 XYF ZF[FIK\]HL XYFHIF^3 _`N]L! "# %
"# ⊆ N &'#%( %#%)*(+, -./&(0-1#0)% +%( ∩ # = ∅2 3& *4,56&( 7#% 89:;<
-./&(0-1#0)0 ! 40* =(%6>5'?&( 0 %43 0 #@
2345#$6!7 a2'51* = ( [N ] .#- # = )[N ]3 96'5 '- ( .#- ) *$&#- ,5&*4*$)
,5&#%@,*-) '- '6'$*) #69 ' a*+%71# !$"!4 56'>'A$8'&#- #69 /',12&*)3
1'&''&-.2) ,5&#%@,*-) >2b*T& *" + : N∗ → N∗ 3
( (,) = lim *(,(-))" )(.) = lim + (.(-))'
" "

-# 9>*) -) >2b*-) / .#- 0 3 <2'51*

# = ( [N ] = {( (,) | / ⊑ ,}" # = ) [N ] = {) (. ) | 0 ⊑ . }"
# $ $

.#- +%#3 ' 9- 7 * 56'>'A$8*- 7& ( .#- 7 + 7& ) 3 ,71#$&*- 9-
⊆ N ( )" # ⊆ N ( )'
# % # $ & $ D cdReQ
f6$,7) 24'51* ∅ = 3 #∅ = # 3 .#-3 *0.'>#3 A-# 9># # /3 0 3
h i" # = S # h i' D cdRgQ
S
# = #' $ ! $' !

h6'<2'51* 6%') #6#ATA@ ,* ='6' 9- /*& 56=%4*- ,0&'>' VHIFO 6'5 &#
/-#4T%$8*- ' #69 ' # 3 .#- *?#%198'51* *6#&*->7112&# ' i@11# !$"563
4%7,-1'6'-+&#) 7 D cdRgQU #?'0 /*& 56=%4*- ,0&'>' VHIFO 6'5 &# /-#4T%$d
8*- ' = ∅ #69 ' # = #∅ 3 56=%4'5& #%-<1'$ &0 3 10 2'-'- 6'5 .#&2&#
,0&'>' VHIFO /*& /-#4T%$8*- ' h 0 i #69 ' #h!0 i j =%# >'-69&3 56=%4'5& &1 3

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>>
 !"#$%&' ()* + ,-.'/ 01234 !"

1 $%&%& '%( )*+$+* ,-+%.% /0123 45+ 4&*6789:5& % !h 0 ! 1 i *'; % "h"0 !"1 i <
)=%=)= >(,?8@A 6789B C)=%=)=DA %89:%(E5 *+*48%E&)@ 4-% *)%.%(F95B *8&FEG+
# = ($0 % $1 % & & & )% ' = ( 0 % 1% & & & ) ∈N
$%&%(B '%( H&* ;.* * (A !"#"! $%"&'& ()*+, -. -/!01234./ & !#($) !67 &
"%($) = >(; ,?E*9+5& ;&A

H&* )@F5 (% N&(#($)) ∩ N' (% ($)) 6= ∅% I JKLMN

*O%- 4&*O%85&)@ % N&(#($)) F* 4&*6G8&:5 % !#($) *'; % "% ($) A *'; ? I JKL"N<
)*&A 5.&)@A ? I JKLMN E*B 49+5& @E5,* ;&
T  
) ( #) = * ( ' ) ∈ $
N&(#($)) ∩ N' (% ($)) %

5+@+&* ,?+ (';F5,?A ;& ! ∩ " = ∅= ⊣

!"# " $% &'()*+, %. /012348 9& $:;./&$%"&'& ! ⊆ N .3"!/ ()*+, !" !/
;7"&" !" !/ & ! !/ & $<;6'=21;> &< ! .3"!/ !"!'</ >8
5678!&9: H&* ? E? 58&EE$+? )*5-F(+,? $6%(E5 @E5,*A *8)59 +* 5O*8K
E;,%(E5 % P5G8?E* Q&*678&,E%- ,* ! )*& != ⊣

R STU3VW 5&,XH*H5 * *+*.(&)@ ,?E5&%,-+%.* % M " )*& *'$45&Y5 '.?FG8*

F578?E@7+ H&Z *(@A *+@E5,@ %(B % P5G8?E* [$.5&%( \(+;.%( !"5!A %
4&@,?E% 6*8*)?8&,E;B %( !"# A )*& % ;& <6>20&<" !"!'</ > $:;./&$%"&'!
6&< -." .3"!/ ()*+,A )@& '%( 45 F* *'%459Y%(E5 54G=26 [* ,-+%.* /0123 596*+
5&,*6F59 '58&,,;58% *'; 4$)* 68;+&* '8&+ *'; %+ /0123 )*& %+ ]2^2U_T2 )*&
X*+ ? )89,&E? $++%&* ,?+ *+@'(Y? ?B F5789*B %( &'& ':2?;!&@ A+B+CDE+A
E&* *'; &B 6*8*)?8&,&)$B 5'&(695B ?B >+@.(,?B %( M%( *&G+*= \? F57K
89* %.%).X87,?B )@F5 C5+4&*O$8%+D ,?E5&%,-+%.% 59+*& $0.-7" 3$& E5 )@'%&%
,-+%.% /0123A EZ $+*+ *(,?8; %8&,E; %( C,654;+ 9,%(D '%( E*B 5'&8$'5& +*
E5.5X,%(E5 ? F5789* I)*& &B '&% ,?E*+&)$B 5O*8E%H$B ?BA ;'7B ? F.1G
23! /I!"&=1"N ,*+ ;.* * ,?E5&%,-+%.* +* X*+ /0123= &Z *(; % .;H%
59+*& ,?E*+&)X ? 5&4&)X '589'7,? %( 8%b.XE*%B %( \(+56%-B H&* * ,-K
+%.* /0123A '%( *'%4596?)5 *(;68%+* )*& *+5Y@8?* *'; %(B c32deWf10g
)*& heTUUf01g % M !A .9H% '8&+ *'%459Y5& % STU3VW % H5+&);58% P5G8?E*
[$.5&%( \(+;.%( !"5!=
i %&)%H$+5&* 7+ *+*.(&)G+ ,?E5&%,(+;.7+ *'%5.59 '%.- E&)8; E$8%B %(
4(+*E%,(+;.%( %( N A 8;b.?E* 6 !"7= P* E'%8%-,5 ;E7B +* 5.'9,5& )*+59B
;& ? E$F%4%B '%( .-+5& % 8;b.?E* %( \(+56%-B H&Z *(@ E'%859 +* H5+&)5(59
)*& +* %4?HX,5& ,5 *';45&Y? ?B j';F5,?B %( \(+56%-BA *..@ *(; 45+ 59+*&
5O&);=

26 !"#$& '( )()#*+,-( ,)+ '( ./012 3&!"+43*(5#'( "6()+ & ,)78+9 &: !"#$"%&#'()
*!+",%) -./01+/; "(5: )<5 4*: '7)+5"74*: ,#984*: 4* =$!)5: !): <4* >8*3*?-:@ 8"(
!<474A!" () ,)#AB4*!" <+4 ",")!$() 3C )*$: +: D&!"+-3"+:E

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
!"#$" %&'()*+" #,-$ !"#$%& '()%&*'+,*-* ⊂ N !*. %/,0& 0,0!0#/12
)(* 0--" 4%, !%#&5$%& )( 6%,78 5-%&* .!*'+,*-*9
2345#$6!7 %& '()*+, ),-.* /* 12345&1- .'4*678 /9. :; ')-3< =()*. 9;>
:)*&9?-&(. /9. '.* 9;:),. &1 N @
./**+ A :, P = {! ⊆ N | ! 6= ∅" ! =()*&}8 7% |P| = c9
:!74%&;( 7 *. '3C) # ∈ N < & 9;:)*&9?-&(&
! = {$ | (∀%)[# (%) ≤ $(%)}
),-.* )?'&(. =()*&< '.* )D,9&1 )?'&(.< # 6= & E⇒ ! 6= " < 34. c = |N | ≤ |P|A
F2/ ;- 3((; :)4*3< '3C) =()*& 9?-&(& ! = [' # ] ),-.* 97:. +=-4&1 9& N
2&1 & 24&9+*&4,G)*< =9* 79)
|P| ≤ |P(N∗ )| = |P(N)| = c( ⊣ #HI::. $
J.C&4,G&1:) =-. 9?-&(&
) = c = P " # K>LK$
2A5A ) = c< '.* .-*9&*5,)8
* 7→ $$ ∈ N " * 7→ !$ ∈ P (* ∈ ) )
2&1 M.-)47-&1- *8 *9&2(;C*'/;)8 # K>LK$A J.C&4,G&1:) )2,9;8 :*. 34*9;
+*3.D; ≤ &1 ) A N. &4,9&1:) :) 12)42)2)4.9:=-; .-.+4&:I 9& ()" ≤) :&-&>
:&4M*9:&?8
+$ : 012 (*) ֌
→ $ ⊂ N" ,$ : 012 (*) ֌
→ -$ ⊂ N (* ∈ ) )"
=9* 79) -. *95?&1- . )DI8@
# $ F- * ≤ . < /) +$ ⊆ +% " ,$ ⊆ ,% < =9* 2&1 $ ⊆ % '.* -$ ⊆ -% A
#O$ *. '3C) * ∈ ) < $ ∩ -$ = ∅A
#L$ *. '3C) * ∈ ) < -&$ ∩ !$ 6= ∅< /2&1 / ),-.* ; 91-34;9; &1 )2/:)-&1
9&- '.(3 +*.).P:=-& 574& ()" ≤)A
./**+ $A :, *& +$ 8 ,$ (* ∈ ) ) &60,*!*&*+, &< # $ Q #L$8 7% ( 5,='(
= $∈' $ = c"
S

7)=< * 4%, !%#&5$%& )( 6%,78 5-%&* .!*'+,*-*9

:!74%&;( 7 R* *9&2(;C*'/;)8 = ) = c .'&(&1C&?- .:=9S8 .2/ ;- # $<
.M&?
S
+ :)֌
$ $ → '.* ) = c(
*. & +)?)4& *9514*9:/< ; 6.9*'I 2.4.I4;9; ),-.* /*
∩ -% = ∅ (. ∈ ) )0
.1/ *95?)* )2)*+I .- $ ∈ $ ∩ -% < /) :.G, :) ; 1 = max{*" . }< .2/ ;-
# $< $ ∈ -( ∩ -( < )-3-*. 9; #O$A %74. .- & ! 6= ∅ ),-.* =()*&< /) ! = !$
P*. '32&*& * ∈ ) < '.* 34. 12345)* '32&*& $ ∈ !$ ∩ -&$ '.* $ ∈ 2 < &2/)
!$ 6⊆ A ⊣ #HI::. O$

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

#$ %&'()*+, - . / -0. %1+23' 456+869' 6:$%;3 <' = ! > ?@AB69;+ 5+C

:$8A5$*D A' 4532+$@A <' - . / -0. ;+ &5+:5+5+:4%;E'A +54B<B)= ;4FG ;+
A' 5+:$B:4H) A, &5+:5+5+:4%;E'A, 4'42:6;), 56& $, 6:GF+$I %1684%$*D (4
E5:+5+ '4 2J%6&;+ @+1<:$%D= 5:J4 6' 6:$%;3 *4$ ;+D A' 4532+$@A>
-K. $4 6 +8D1$%6 0 6& " = (E6&;+ 0 = !0 = ∅>
-M. N' 6 # +G'4$ 6:$4*3 %A;+G6 6& " = (E6&;+
!= "! $ !! = "! ! %
S S

#$ - . *4$ -O. $%196&' +:$;;E'4 453 A' +54B<B$*) &53(+%A= *4$ A -0. 2+'
4'4*95+$ %P 4&) A' 5+:G5<%A>
- . R%< & = '( +53;+'6 %A;+G6 %6 " > N53 A' +54B<B$*) &53(+%A= 4 )
*4$ * +G'4$ $%658A($*D ;+ 6 !" (() *4$ !" (() + " = +5+$2) A ≤ +G'4$ D:$%A
2$D4@A> R%$ 6$ 58A(D:$(;6$ |) |= |* | +G'4$ *4$ 6$ 296 ;$*:3+:6$ 6& c= D:4
|) ∪ * | + c= *4$ ;56:69;+ '4 S:69;+ %6 ;A *+'3= E8+$6 %9'686 , = N
2$4H6:+$*D %A;+G4
-$ . ∈ , \ () ∪ * )/
(E6&;+
$= ∪ {(($ -)}$ !$ = ! ∪ {(($ . )}$
*4$ 6$ - . / -0. E56'4$ +9*684> ⊣
T *44%*+&) 5:6H4'J, 2+G1'+$ 5+:$%%3+:4 453 A' +*HJ'A%A 6& (+<:);4C
6,= |)| = c *4$ 31$ ;3'6 6 ) 488D *4$ 6 %&;58):<;D 6& ) E;'6&' *D(+
;A *+'3= E8+$6 %A;+$6%9'686> NH)'6&;+ B$4 4 5:6S8);44 2$DH6:+, 54:48C
84BE, 56& *D'6&' 5:6H4'E, 3$ 2+' &5D:1+$ +85G24 '4 4562+G@6&;+ A' U53(+%A
6& V&'+169, ;P 4&3 6' :356= 2A842) %+ +8+&4G4 4'D8&%A %A:$F3;+'6$
%6 W+J:A;4 XKYZ[\C]^Y_`ab[Y>
VA' 5:4B;4$*3A4= A %:4AB$*) 4&) B$4 A' +5G8&%A 6& :6S8);46,
6& V&'+169, 2+' +G'4$ A ;6'42$*) 56& 456&B14G'+$d *D(+ 5:6%5D(+$4 4532+$@A,
) 2$De+&%A, A, #$ ;+ 4 4@$J;44 A, %&# + '# +G'4$ *442$*4%;E'A=
+@4$G4, <' +@), 296 (+;+8$4*J' 456+8+%;D<' 4'+@4:A%G4,>
()*++* ,-./0123 56 1.281-9/.56 :0;<1=56 >- ,-.1?>@6 A#$ -fg
[_^h=
"0".> i6 5:3&56 0 <' *44%*+&D%$;<' %&'38<' $*4'656$+G A +'$*+&;E'A
U53(+%A 6& V&'+169, A#$= -"Cj.= *4$ +$2$*3+:4= A U53(+%A 6& V&'+169,
2+' 2$4e+92+4$ %A' %&#k'#>
()*+B* C.1D3E5=F3 56 :0;<1=56 >- ,-.1?>@6 #$ -X[l^Y= "!0.> U5D:C
1+$ 5:3&56 A, %&#k'# %6 656G6 A U53(+%A 6& V&'+169, 2+' $%19+$= D:4 A
#$ 2+' +G'4$ (+J:A;4 A, %&#k'#> i6 !"#%!& '(')*'+,&- -m[\ `Yn o[_^h.
6& X[l^Y +5$2E1+4$ 56$*G8+, 54:4884BE,= E%$ 56& ;56:69;+ '4 5:6%2$6:GC
%6&;+ 1<:G, 4'GH4%A ;+ 568869, :356&, $, 58A($*3A+, %A;+$6%&'38<' )
*4$ &56%&'38<' 453 ;+B489+:4 2&'4;6%9'684>
()*+G* H2 =593F.12 5 3.1D3E5=F3 56 #$I #$ ;E(626$ <' fg
[_^h *4$ X[l^Y
+G'4$ 5689 +9:<%+, *4$ E16&' 5:6%4:;6%+G '4 2+G@6&' 3$ 6 :3S8A;4 6&
V&'+169, 2+' +5$2E1+4$ 89%A %+ 5688E, B'<%E,= 48A(6H4'+G, +5+*D%+$, A,

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !" !"#$%&#$' &! )*+,+-#./01
!"##" $% %&'&()*+%- -.'/$--0 12 34'2 '*56%' 7'- 2 8.39$- :&';27<=
>-' ->)$? 7'- 2 8.39$- 8&%3(2@A -@B )$9= %>C(BD2@E +%$%;'->F= -(5F= 7'-
- *6E2;- &2@ -;?+%62@E $%EG -;;B %3E-' &(2C-E/= 4'-C2(%'>F= -&) '= -(5F=
&2@ %>C(BD2@E - B;;-G -&;26*%(- -.'/$--G >-' >--;-H-3E2@$% 7'-3 4%E
$&2(26E E- -&24%'526E -&I -@B $)E2 $% ? ;27'><0 J K&)+%*? 2@ L@E%526=
F5%' ?E @C< %5E'>26G $-+?$-'>26 &(2H;<$-2= &2@ +- F&(%&% E- ;@+%3 $%
>B&2'- -&)4%'.?G -;;B C-3E%-' )' $-= ;%3&%' M$F5(' *'7$<=N ? -&-(-3??
F$&E%@*? 7'- E- -E->-;6O2@$% - >-B;;?;- -.'/$--0
2;;B F52@E ;%5+%3 7'- ?E -E%.-(?*3- ?= "$ -&) - 7E9*B -.'/$--
?= *@E2;2+%9(3-=G >-' $%('>23 ?E F52@E %&'>-;%*%3 7'- E- @&2*?(3.2@E )'
4%E @&B(5%' -E'>%'$%E'>< &(-7$-'>)?- &3*9 -&) - Q@&'>BRG -.'9$-'>B
-&2%;F*$-- 2@ >;B42@0 S% ? $F+242 !"#$%"'()(*%+%, 2@ TUVWXYG )$9=G
&(2H;<$-- -) !.%, )(/0*.012 $%-C(BD2E-' *% -@*?(F=G %5E'>F= %'>-*3%=
7'- -('+$26=0 K&B(52@E F2'%= %'>-*3%=27 &2@ M)&9= ? "$N %3E-' -E%.B(?%=
-&I );- - 7%E'>B &-(-4%>B -.'/$-- 9E $-+?$-'>/EA &(F&%' 7'I -@) E- -(Z
E?+26$% ?E Q-E'>%'$%E'>< &(-7$-'>)?-R 9E C@*'>/E -('+$/E[ \@*@5/=
4%E $&2(26$% E- 4'%(%@E<*2@$% F2'- &(2H;<$-- $% ? *2H-()?- &2@ 2@=
-.3D%' 59(3= -E-C2(F= *% '4F%= >-' -&2%;F*$-- ?= S-+?$-'><= ]27'><=G
>-' +- -E'*-+26$% *2E &%'(-*$)0

-(%E+%'>B -E-CF(2@$% )' 4%E @&B(5%' F;;%'O? -&) *?$-E'>B &(2H;<$--

&2@ 4%E %&'4F52E-' ;6*? *?E !" < *?E !"##"A ? "$ %3E-' -&;/=
2 &'2 H-*'>) >-' %E4'-CF(2E -&I -@B0 ^- 4'-@&/*2@$% %4/ $)E2 (3- *@Z
E-C< -&2%;F*$-- -E%.-(?*3-=G %&%'4< *5%3D2E-' '4'-3%(- $% 2 ^%/(?$-
1F;%'2@ L@E);2@ %&'(&0

%&')*' MTUVWXYG _`_N L2 &()@&2 9E >--*>%@B*'$9E *@E);9EG @&B(5%'

-E-&-(3+$?2G -E-;@'>) *@$&;<(9$- &2@ 4%E F5%' $? >%E)G F;%'2 @&2*6E2;20
8@) *?$-3E%' )' 4%E $&2(26$% E- H%;'/*2@$% 2 ^%/(?$- 1F;%'2@ K&2*@Z
E);2@ %&'(& *?E !"##" >-' E- 4%3.2@$% )' >B+% -E-;@'>) *@$&;<(9$-
F5%' ?E '4')?- +0

%&'),' MaVYVbcdG _!"N K&B(5%' &()@&2 ?= !"##" *2 2&232 >B+% Q2(3Z
*'$2R *?$%'2*6E2;2 F5%' ?E '4')?- +0 \%E +- &(2*&-+<*2@$% E- 2(3*2@$%
%4/ ' +- &%' Q2(3*'$2RG -;;B - -E-;@'>B *@$&;?(/$-- %3E-' 2(3*'$-0

%&')-' MaVYVbcdG _!"N K&B(5%' &()@&2 ?= !" *2 2&232 );- - *?$%'2*6Z
E2;- F52@E ?E '4')?- +0

27 ! "#$&'(!) '!) $"$*() +,+-(#./+'( (*,+! 0) /$#-1) 2 ! " !" + #" #$! % &'!#()*+
-# &'!#()* #$! % . % " 34 ."$5 0 (*,+! 6&"$!+ !'75#1 ("86+'0 0) !"9#" "$5
'5,("&:(+! 0 '5,8"(!+ 0) !"9#"; <". $ /#0#12 3#41"5 6" 8"1-" * $5 =>?@AB
'5,&:(+! .! 8$!() "#$&'(!) (*,+! +,(C&#0() 0) !"9#" D(6.) 6! +, 0 !"9#"
E(, (*,+! '5,("1)FG4 6+! 5"&#7$5, -5'!6& "+#+E(*:/++ 8$!H, "#$&'(H, H, $"$*H, 0
+I1J(!+ (*,+! +/-!I(:./(,0;

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !

"# $%&($# )( *+,+-./ 0##102(34)5#6 72 8 79:);) #5#<0#17)= )( >+?

@AB #CC3 &$DE ) )( FG +HA,I 9J)(5 $)CC9E 6;6&82E 0#5)560&8#E 0#6 #$);K?
;)(5 $)C(3%6:7#I 2$6$%&1:2# #$)2C917## #52L#%81K#EM ") $%N) $%&($)
)( *+,+-./ O#52%N526 P72 ) !"#$Q &6 8 6;6&8# % <6# # #5#C(603 1(?
7$C8%N7## ;25 7$)%2K 5# #$);26J2K R 5# ;6#S2(12K 18 :2D%K# &'(T)(M
") ;2=2%) $%&($) )( *+,+-./ ;2KJ526 &6 8 &'( ;25 7$)%2K 5# #$);2KL26
85 =$#%L8 #5#$#%K:78)( 18726)1(5&C)( JD%KE 78 025&I 9C26) ($)1=5)C)U )
'( ;25 #%02K <6# 85 0##102(RM

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

* !" " V2KL2 &6 #5 ) ! ⊆ N 2K5#6 0C261&I &2 ($3%J26 7)5#;60& ;95%) "
1) N JD%KE 2%7#60)=E 0&7W)(EI 916 N12 ! = [" ]I 1(<020%6795# ) ;95%)
" $)( )%K1802 18 P X?YQM
* !"+" V2KL2 &6 8 ;631$#18 P X? ZQ 0C261)= 18726)1(5&C)( ! 12 95# 9C26)
1=5)C) # 0#6 95# #$#%6:78& 1=5)C) $ $%)1;6)%K426 7)5#;603 # # 0#6 $ M
* !"#" VN12 $#%3;26<7# 25&E 0C261)= 18726)1(5&C)( ! ⊆ N 0#6 1(52J)=E
% : N → N I 916 N12 8 260&5# % [! ] 5# 785 2K5#6 0C261& 1=5)C)M
* !"," V2KL2 &6 03:2 #5)60& 18726)1=5)C) 2K5#6 F! 0#6 03:2 0C261& 18?
726)1=5)C) 2K5#6 GÆ M [6 )%617)K #5#10)$)=5#6 185 ($)1872KD18 Z\M
∗
* !"-" V2KL2 &6 8 #5K1%)O8 260&5# & −1 ['] #5#C(60)= 18726)1(5&C)( ' #$&
1(52JR 1(53%818 & : N → N 2K5#6 #5#C(60RM 5678!&9:M %)1$3:812 5#
;2KL26E 61);(5#7K# 8E 7)%ORE
( ∈ &−1 ['] ⇐⇒ (∃))[( = % (*1 ())) = & (*2 ()))]+
&$)( 8 % 2K5#6 1(52JRE 0#6 )6 *# )%K4)5#6 #$& 8 P X?Z^QI 0#6 723 J%8167)?
$)K812 ) !"+#M
∗
* !"$" V2KL2 &6
$∈N '$ _⇒ (∃,)['$ = N ]+
S
N =
;8C#;R ) JN%)E N ;25 2K5#6 #$#%6:78R 95D18 18726)1(5&CD5 72 760%&2%8 $C8?
:60&8#M 5678!&9: +Bcd ."+ I
M `(& #0)C)(:2K #791DE #$& ) a2N%87# )( bG
#CC3 #(R 8 26;60R $2%K$D18 ;25 J%26342#6 ) $CR%2E `LKD7# e$6C)<REM
* !"/" P)(Q V2KL2 &6 <6# 03:2 - ≤ cI ($3%J26 18726)1=5)C) ' 72 |'| = -
$)( ;25 $2%69J26 78 025&I 9C26) ($)1=5)C)M
* !"0" P)(Q V2KL2 &6 ($3%J26 #5#$#%K:78) 18726)1=5)C) ' 9)6) N12 )=2
) ' )=2 ) 1(7$CR%D73 )( 5# $2%69J)(5 #5#$#%K:78) 1=5)C) f+gA,M
* !"." V2KL2 &6 ($3%J)(5 c?$)CC3 #5#C(603 0#6 f+gA, 18726)1=5)C#I
|A| = |B| = c.

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>=
 !" !"#$%&#$' &! )*+,+-#./01
!"#$" %&'()*+" # $%&'(*$* : ! → " +,- .&+& /,/0/123- 45(/ $6
3',/2/& '00/ 67&+2 ,-./0 )1&3(')4 +& * +&7$(/8* 623-&+ −1 [#] 3'96
+&/23/: $%&-0/% /% " 67&+2 ;<=>? %,/$:&/0/ /% ! @
5 !" !" # $:&96$* $ : ! → % A:/ ;<=>? B6(C$2BD& $%&+(C$6D& : ! → "
3+2 $ : " → % 67&+2 ;<=>? B6(C$2B*@
5 !" " # +&7$(/8* 623-&+ [&] 6&-E $%&-0/% ;<=>? & ⊆ " +,- ;<=>?
−1

B6(C$2B* $%&'(*$* : ! → " 67&+2 ;<=>? %,/$:&/0/ /% ! @

!"6!" %&'()*+" F:/ /,/0/123/7 45(/2 ! G " 67&+2 ,-./0 '(7)7&8'97: +&
%,'(462 +&2$/247+ : ! ֌ → " ./2+ 5$6 * 3+2 * +&7$(/8* $%&'(*$C
*E −1 : " ֌ → ! &+ 67&+2 3+2 /2 A:/ ;<=>? B6(C$2B6E@ H5(/2 ,/% 67&+2 ;<=>?
2$/B/(823/7 .4/%& *& 7A2+ A/BC -$/& +8/(' * 96D(7+ B.(/%G 3+2 ,(+323'
B,/(/:& &+ I+%2$/:&J $K +%C& * 96D(7+@
∗
5 !" ;" L$D : ! ֌ " 3+2 $ : " ֌ ! ;<=>? B6(C$2B/2 B/&/B/(82$B/7
$6 /,/0/123/:E 45(/%E B6 *& 6MCE 6,2,(-$96* 2A2-*+N28 %,'(4/%& ;<=>?
B6(C$2B6E $%&+(C$62E 1 : " → ! 3+2 $1 : ! → " ,/% 67&+2 +&7$(/86E D&
3+2 $ B6 *& .&&/2+ -2
1 ( ') = ' ( ' ∈ ! ) (
$1 $ () ) = ) () ∈ " )*
F67M6 -2 /2 ! 3+2 " 67&+2 ;<=>? 2$/B/(823/7@ 2345#$6!@ H(*$2B/,/7*$6 *&
+,-A62M* /% O6D(CB+/E P R=S <T>=U;>=VWX>YV ;";<@
5 !" #" O6D(/:B6 / $:&/0/ /% Z[VX<= C DE /,/0/123- %,/45(/ /% N B6
/& ,(/8+&C (-,/G A*0+AC + +&/23' $:&/0+ 67&+2 /2 6&5$62E 162/&25& *E
B/(8CE
N = {' ∈ C | + ⊑ '} (+ ∈ {0( 1}∗ )*
F67M6 -2 /2 45(/2 C 3+2 N 67&+2 ;<=>? 2$/B/(823/7@
\+ %,-0/2,+ ,(/]0CB++ A26(6%&/:B6 * $4.$* +&'B6$+ $2E $%1363(2B.&6EG
$%&A%+$23.E .&&/26E ,/% .4/%B6 B606C$62 $/ 45(/ ;[Y=> 3+2 2E 16&23.EG
/,/0/123.E 63A/4.E /%E@
!"6 " %&'()*+" ^/ $*B67/ ' 67&+2 7&'=9* (4)1:7 _?Y`YX a<YVXb $%&-0/% &
$6 /,/0/123- 45(/ ! G +& 3'96 +&/23- $:&/0/ ,/% ,6(2.462 / ' ,6(2.462
6,7$*E 3',/2/ $*B67/ /% & A2+8/(623- +,- / 'G
(∀#)[# +&/23- 3+2 ' ∈ # c⇒ (∃) ∈ & ∩ #)[' 6= ) ]]*
d,- /& /(2$B-G .&+ /(2+3- $*B67/ /% & B,/(67 &+ +&C362 $/ &G B,/(67 3+2
-42@ !"#$% %' & (%' )#* #$*+, %-,+./ 0!"#$% %' & .+1#$+, =>7)7?@)A?7
2 )1)7?@)A?7 _YW<?[X>Tb $/ &@

28 "# $%&'(&)*+"&, *-./ 01234 (5#5(5%6)7(+8 9:/) &;"# "# )<)+"&, +(=8 ')& #&

5 &$5</>?5;(/ &;+, :%/)-@/&) <5;A/)-B

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?
 !"#$%&' ()* + ,-.'/ 01234 !"

!"#!$# #$%& ( )$*(+, +(* ( (-).)/0.1/( 23.%4( )5 23.%*)25/67)5

= {! ∈ N | !(0) = 1 ∨ (∀")[!(") = 2] ∨ (∃")[!(") = 3]}#
!"#!%# 8%49% 6* ) ! %4/(* )$*(+6 23.%4) )5 $ (/ +(* .6/)/ (/ +,:% (/)*+6
2;/)7) -)5 -%$*1<%* ) ! -%$*1<%* %-423& (-%4$0& -)77, 23.%4( )5 $=
!"#!&# 8%49% 6* 1/( 2;/)7) 2% )-)7)>*+6 <?$) %4/(* +7%*26 6% +(* .6/)/
(/ -%$*1<%* 67( ( )$*(+, )5 23.%4(=
!"#!'# 8%49% 6* 1/( 23.%*)2;/)7) % %4/(* 17%*) 6% +(* .6/)/ (/ %4/(* +7%*@
26 +(* A%/ 1<%* (-).)/0.1/( 23.%4(B A37(AC +,:% 23.%4) )5 % %4/(* )$*(+6
)5 23.%4)= D5C 3 *2)A5/(.4( (54E%* )/ 25>+%+$*.1/) )$*2.6 %7%*63(&
-)5 A?2(.% >*( 23.%*)2;/)7( .% )/ +7(2*+6B )-)7)>*+6 )$*2.6=
!"#$(# )*+,-./# F (+)7)5:4( (" 7→ ! ) 23.%40/ 2% 1/(/ )-)7)>*+6 <?$)
& ,0123456+ 2) 23.%4) ! C 1<%* ) ! 0& .*+7B (/ +,:% (/)*+6 2;/)7) -)5
-%$*1<%* ) ! -%$*1<%* 67( ( !! B %+6& 420& (-6 1/( -%-%$(2.1/) ($<*+6 .C.(G
lim ! = ! ⇐⇒ ! (∀' (/)*+6( ! ∈ ')(∃" ∈ N)(∀) ≥ ")[!! ∈ ']#
!"#!8# 8%49% 6* ) 23.%4) ! %4/(* )$*(+6 23.%4) 23.%*)25/67)5 $ (/ +(*
.6/)/ (/ ! = lim ! >*( +,-)*( (+)7)5:4( (" 7→ ! ∈ $) 23.%40/ )5 $=
)*( ($<C %-*7)>C& <$32*.)-)432%& 23/ (-6A%*93B (/ <$32*.)-)432%& +,-)*(I
!"#!9# 8%49% 6* 3 25/,$323 * : N → N %4/(* 25/%<C& (/ +(* .6/)/ (/
* (lim ! ) = lim * (! )(
>*( +,:% (+)7)5:4( 6-)5 ) 6$*) lim ! 5-,$<%*= )*( ($<C %-*7)>C& <$32*@
.)-)432%& 23/ (-6A%*93B (/ <$32*.)-)432%& +,-)*(I
!"#("# "#"$"%&'() *+,") & -./0& :;<=>?@A 0/ %&0 '12- 3-4%") 567-.8/
! 6= +9 :#1,*":/ ;</0 0/"&'1 54/"$0 ' ∩ , = ∅ <"&0 +5- ! ∈ ' '0& + ∈ , =
8%49% 6* (/ )* *( - : & → . %4/(* 25/%<%4& 25/($C2%*& +(* ) . %4/(* JKLMNOPQB
6% ) 2;/)7) {! ∈ & | * (!) = - (!)} %4/(* +7%*26 2)/ & =
!"#$B# )*+,-./# C57+2. 2E30--F 25/67)5 / 2% )-)7)>*+6 <?$) & %4/(*
3 5<(4( )*+)>1/%*( G (/)*+?/ 25/670/ 0/ )-)40/ 3 1/023 -%$*1<%* ) / B
/ ⊆ S G R +(* ) / %4/(* ,0-GF1H/ 2) & (/ +,:% (/)*+6 +,75.., )5
-%$*1<%* -%-%$(2.1/) 0G72E30--FB A37(AC >*( +,:% )*+)>1/%*( G (/)*+?/
25/670/B
/ ⊆ S G S⇒ (∃'0 ( # # # ( ' ∈ G)[/ ⊆ S !≤ '! ]#
∗
!"#(!# 8%49% 6* 1/( 23.%*)2;/)7) %4/(* 25.-(>1& .% )/ T$*2.6 !"#!8 (/
+(* .6/)/ (/ %4/(* 25.-(>1& .% )/ T$*2.6 !"#$B= 5678!&9:
= U( <$%*(2%4&
) VC..( )5 WX OYZ[ 9#'=
!"#((# 8%49% 6* >*( +,:% 25/%<C 25/,$323 * : & → . (-6 1/(/ )-)7)>*+6
<?$) & 2% +,-)*)/ ,77) . B +(* >*( +,:% 25.-(>1& 2;/)7) / ⊆ & B 3 %*+6/(
* [/ ] %4/(* 25.-(>1& 2;/)7) 2) . =

!"#$% &'()*"(+ ,-./0&1 23% 4(03.) 67819% 0' -:4 <!*$/% =>?