Graph/(/ tablets

typing with. 7 tablet.) is w.e:rt and inaccurate. fucklng Stupld letter detection... hit sux

Every thread MUST be replied to.

　 　　　　　　　　　　　　　　 _,,,.........,,,,_
　　　　　　　　　　　　,..::''"´:::;::::'´::::::::::｀ﾞ'::..、
　　　　　　　　　 .,.::'´::__:::::;::´::::::::::::::::::::::::::::::＼
　　　　　　　　／:::::''´:::::｀:::::::::￣｀ﾞ':::､::::::::::::::::::ヽ,
　　　　　　 .,.:'::／::::::::::::::::::ヽ;::::::::::::::::::＼:::::::::::::::::':,
　　　　　　/::::::::::;:::／ ｀ヽ,::::::ﾄ､:::::::::::ヽ;:::::「ヽ:::::::::::',
　　　　　 ,':::/:::::::l/　　 　 ';:::::}　＼::::::::::';::ﾉ ,ゝ､::::::::l
　　　　　;:::::':::::::;' 二_　　　|:::, 　 　ヽ;::::r' イ　ﾉ:::::::::;
　　　　　l::::i::::::::{ｨ´ｒ)ヾ､　 ﾚ'　_,,.二､ﾊ::;＞‐r'::::::::::/
　　　　　|;:::':::::::lｒ‐弋_ﾘ'ｒ-､-ｧ´r) l!｀Y!:::::i:::::';::::::::/
　　　　　|::,:::､::::'､､"　_.ﾉ 　　､　ゝ-‐ﾟﾒ::::;'::::::|:::::':::::',
　　　　　 ,::'､::＼;ゝ　 　. 　　　　ｰ "升:/l::::::;:::::::::::::ヽ
　　　　　 }::/.}::::人 　 　、　　　　　/::ﾚ'ﾉ:::;:'::|:::::::::::::::::＼
　　　 　 ,':/ ﾉ:;:':::::::＼ 　｀ 　´ 　 ,:':::::::/／:::::;:::::::::::::::::::::::':,
　　　　　{:{ ,'::;::::::::/:::/ヽ.,_,,..　 イ':::::::/´::::::::/:::::::::::::::::ﾉ:::::ﾉ
　　　　　r {/::::::::;':: ／｀ヽ ﾊ}　 |::::::;:':::::::::::/::_;;:: -‐ i''"￣ヽ
　　　　　},:':::::::::::{ /　 '-く`''ｰ-r!:::::{--‐ ''i"´　　　　|　　　　,
　　　　/::{::::::: r､/　　　　ヽ 　　l:::::',:::::::::::|＿＿,,... -!＿　 　}
　　 ／ ヽ/ヽ:ｒ' ､＼ 　 　ｒﾉー- ,::::::}￣￣|::::::::::::::::::;'＞ヽ 　;
　　{　 　;':::::: } 　 ＼＼　ﾉ'、::::::ﾉ::::;:'＿_ .ﾉ::::::::::::／　　 　∨
　　 ヽ /7ｰ､/　　　 ＼ Y ￣ /::／　　 　￣｀ア　　　　　　',

　　　　i⌒ヽ 　　　　　_ _人_ _　　　　 　　　　　　 7ヽ,.__
　　　　|　　|　　 , ‐､　　｀Y´　 　　　　 　 ,.. -─-'＜:::メ´￣＞
　　　　'､　 '､ 　 !　 |　　　　　　　　 　 ／:::::::::::::::::::::::::｀'::＜´ 　 　 　 　 |
　　　　/´ ￣｀.ｿ 　 !　　　　　　 _ノ´￣｀ヽ､＿＿_::::::::::::::::::｀ヽ、　　─ ┼ ‐
　　　　!_,.-‐＜,　　 |　　　　　　{／´￣`ー---- ､｀ヽ､＿::::::::::::',　　　　 !
　　　　{　 ＿_ｿ､　 ,ﾊ　　　　　/　 ./　　 ,　　, 　　` ｰ- ､｀ヽ:::::::!
　　　　 ヽ＿_ﾉ　ヽ// ＼ﾄ.､　｜　 | 　 _/|_ ./| 　./ 　 ,　　Y:::::∨　　＋　あなたを～殺して～♪
　　　　　||＼＿／/　 　 ヽﾊ　'､　 !　 /_」_/　!／|-‐/ﾄ　　ﾄ､:::::|　　　　　　　　　　よかですか～♪
　　　　　||::::::::::://　　　 　 ∨,-∨| ,ｲ´j__r! 　 　 ｧ‐'ti､　./　ﾊﾉ　　 　 　　ﾄ､
　　　　　|ﾄ--‐'ｲ　　　 　　 ,ﾊ7￣`ヽ!" 　 　　 　 ゝ-''ｲ／r─ｧ|　　　 　　ﾉ　',
　　　　　`ｰ-＜.,,＿_＿　 　 ﾉ 　　　ヽ、　i7￣｀ヽ　"/|　,ﾄｒ'´ | 　　 r--‐'ﾉ 　i
　　　　　　　　　　　 7　｀ヽ、　　　　　ﾉ＞Y'⌒ヽﾉ／ / /|　　 !　　 ﾉﾉ￣　　.ﾉ
　　　　　　　i 　 　　|ﾍ.　 　|＞ ､.,__イ/＼ ﾍ、 ノ/イ´｀ヽ.ﾚﾍノ＞‐'イ　　 r'´
　　　 ＿　_人＿ _ _　　＼ﾍ 　 　　｀7ヽ､`ｧ'⌒Y　/|　　　∨　　､,_ノ　 　ﾉ
　　　 　　 ｀Y´　　　　　　 　 ＼＿__i::::::::::i´　　∨|/　　　 ﾉ　　　　　 _ノ´
　　　　　　　! 　　　　　 　　 　 　 　 '､:::::::|ヽrｧ､ﾘ￣｀ヽ,イ＼ｒ--‐''"´
　　　　　　　　　　　　　　　　　　 　　 〉:::､||::|ﾄ-| 　　 　 |　
　　　　　　　　　　　　　　　　　_,..-‐ｧ':::::::;ﾍ::||:/|　　 　 ﾉ､　　　　　*
　　　　　　　　　　　　 　_,r::'"´::::／:::::::::/:::::`|'ノ　　,.イ:::::::＼
　　　　　　　　　　　　r'/:::::::::'"´::::::::}>oく{:::::ﾉー-イ:::::'､:::::::::::｀＞‐-､
　　　　　　　　　　　　|':::::::::::::::::::::::::／:::::::::（::::::::::::::!:::::::::＼::::/::::::::::::ﾉ〉
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　ｒ‐-､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　 ',　　ヽ.,
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　{　　　　￣｀ヽ、
　　　 　　 ,.　 -┼　　 　　 _ﾉ＼　　　　　　　　　　　　 　　{￣ヽ-‐､　　 　 ｀_つ
　　　　,X　　 　 　　　　＿}＿_ ヾ´￣｀ヽ,. -‐ｧ　　　　 　 , '｀ ｰ-､　 ｀ｰ'ヽイ
　　　 / 　　　　,.　 '"´　　　　 ￣｀ﾞ' ＜　　 { 　 　 　 　 ,:'　　　　　　｀7´＼}
　　　　　　 ,. '´　__,. -～- 、__　　　　　｀ﾞ' 、]　　　 　 /　　　　　　　 / 　/
　　 　　 ／ r'~ _,,.. -───- ､..,,_｀ ｰ-､　 ＼. 　　　,'　　　 　 　 　 　　/
　　 　 r'　,　'"　　 /　　　　　　ヽ　｀ﾞ　　、-､　ﾊ 　 /　　　　　　　　　 ,:'
　　 　 }7´　 / 　　{　　 　　 　　 ',　　　　 ＼　ヽﾄ. /　 　　　　　　 　, '
　　　 /　 　 ' 　 _/|　　　　/、　‐|-　　　　　 ヽ 　,　　　　　　 　　／
　　　;' 　 　 l7´/　 ､　　　;　 ＼ ; ＼　　 　}l　 　;　　　　　　　　,:'　　　　　　ﾄ、
　　　|　i　　.| ./xｾﾐ ＼ 　|　 ｧ=＝ミ,ﾊ.　 / lｒ- ,'　　　　　　 　,:'　　　　　　 /　}
　　　',　、 　{ ｲ　h ﾊ　 ヽ{　 　 　 　ヽ|／ 　L./ 　　　　　　 ,:'　　　　　　／　　｀ア
　　　 ∨ ＼ﾑ　 乂り　　　　　　　ｘｘ ;　　　; /　　 　 　 　 ,:'　　 ┼　　 '、 　　　 ,＞
　　　　　　} 小xx　　 　'　　　 　　 　/ 　　／ 、　　　　　./　　　メ 　 　ノ　　　　 ＼
　　 rｧ'"´/　.| {　　　　r7 ￣｀ヽ 　 / 　 , '　 　 ＞.､_　　/　　　　　　 く　　　　　　ｒ┘
　　 ｀ﾞｰｧ' 　　人　　　 ､　　　 ﾉ　,/ 　 /　　　　　 　　 ヽ　 ／｀l　 　　 }　　　　　　＼
　　　　;　/　 　 |＞ 、__　　 　 ／;　 /,' 　　　　　　　 　　'/　 　 '､　　ノ　　 　　　 ｒ‐┘
　＿ﾄ､ﾚ' {　　 /　,.:'":::::::｀ヽ,イ　 |／ .{　　 　　　　　 　 　}　　 　　￣　　　　　　_ノ
　＼ 　'、 '､　 {　l{:::::::::::::::::::} 　／　 　', 　　　　 　 　　　/　　　､ l | ll l || l l||| l l| l || l l||| l
　＜　　 ＼ ｀ヽ　ﾍ､:￣::｀ソア7 　　　ﾑ　　　　　　　　, '　 ＼ 、
　r' 　 　　 {　　　_ ｧ'⌒ヽ7ム._{　　　 /ﾊ、　　　　　／　　 ミ　　チンチンチャイナマイノ
　ゝｧ' 　　　':、／/　⌒ヽヽ{　＼　 ｒ'/ 　|}＞ｰ‐ｧ'´　　 　 三
　∠、 　　　7 　,' 　 ⌒ヽ}ﾉ}　　 ヽr7 　　'、　// ⌒ヽ 　 ﾆ　　　ウェルウェルロン
　　 /へ　　,'　.ｒ{　´⌒ヽｿ ﾘ　　　 　　　　ヽ//　　　　∨二
　　　　　 / ´l{:|　r'´ヽﾉl}∧　　　　　　 　　 ,:'　　　　　　Ξ　　 ロメッダケ ロメッダケ
　　　　 , '{ 　 '､　ﾉ:::::l「 /　 ' 、/_.]　　　　 ,' 　 　　　　　ﾆ
　　 　 /　'､　 ヽ└rイ　　Σンヽ.　　　　　{　　　　　　　二　　　シャッチマッシャン
   
   

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 _　　　　　　　ヽ 　 i　　 | -┬‐　!
　　　　　　　　　　　　　　　　　　　　　　_,,,... -‐‐- ､,‐-ｧ◎ヽ-､　　　 ｀7 .lﾆ|ﾆl　 | lﾆiﾆl　|　　　　　 ノﾉ　! ､ __
　　　　　　　　　　　　　　 ,.-‐- ､- ''"´　 　　　　 　 ｀'_`‐-､::◎i.　　　/|ヽ!__!__!　.!　 |__､ ﾚ　,.‐ｧ‐､ ,..ｲｰ┼-┬
　　　　　　　　　　　　 　 / 　　　 ）　　 　　 　　 　　´　｀ヽ,_｀ン'ヽ.　 　 !　　|　　ﾉ '"´　 ｀　 し'　ノ 　.| ﾉ !ヽ 」
　　　　　　　　　　 　　 ,.'　　　　　 　 　 　　　　　　 ヽ.　　 Y 　 　 ',
　　　　　　　　　　　　/　 ;'　　　　 ;'　 ! 　 　 i　 __」_ 　',　 　!　　　 !
　　　　　　　　　　 　',　　!　　　　 !__　i　　　,! 　 _」_ ｀ i　　,'　　 　,!
　　　　　　　　　　　　ヽ.　'､　 ',　´!_」_/!　 _/L,ｧ',.-､｀Yi　 ,' 　　 ノ !
ヽ7ヽ.　　　　　　　　　 ﾉ､　 ｀ヽゝｧ' ,-､ '"´　 　 i　 ﾊ　!ﾚ'__,,..イ　 ,' 　　　　　　　　　　　　 /｀i
/:::::::/ヽ､　　　　　　／　,ゝ､ 　 /i　i　ﾊ　　　　　ゝ-'　　iニi　 !　〈　　　　　　　　　　 ,-,-r/　;'/｀i
:::::::/ 　　｀' - ､,　,.'´ 　ノ　　Y´ﾊ 　ゝ'’　　 '　　　 　''"ノﾉ´!､ 　,! ',　　　　　　　　 ／ /::;'　 /　./'"ﾝ
::::/　　　　　　　｀"'＜_　　　;' 　 !''"　　　i'7´￣ヽ.　 （r ' 　 !ﾉ　ハﾉ　　　_,,. - ''"´　 /::/ ､_ -､　 く
;:'!　　　　　　　　　　　 ｀''ｰr|r､ノﾄ､ 　　　V　 　　 i　,.ｲ｀''ｰ'ﾄ､ノ _,.-ｧ'"´　　　　　　 ,'::;'､.,_____)　 ,r-'
/ 　　　　　　　　　　　　 ;':::::;'｀ｰﾉ､, ｀7ｧ ,､.,__　 _,.イ（ '､　　|ﾉ‐ｧ':::/　　　　　　　　　i::::|ｰ-‐､ｰ-r'
　　　　　　　　 　　　　　i::::/　　　!´｀7｀ゝ､_!.,__,,.イ ,ゝ､ヽ､」 /::::/　　　　　　　　　__|::::|'"´　 |:::|
',｀ヽ､., 　　　　　　　　　 !::/｀ヽ､./　 ,'　　/:。!:ﾟ:|　 / 　 ｀ヽ､）::::;'　　　　　　　　　　 |:::::|　　　|::::|
::'､　　　　　　　_-,‐''"´ ｀/ｰ‐-Y　　|・／!:。:!ﾟ:::|（｀ヽ､.,____/ |::::i　　　　　　　　　　　|:::::|　　　!::::!
',:::';　 　　　　 ／､　　.ノイ´　 ﾊ　 　´　 |。::!ﾟ:::!/｀ヽ､.,__　｀ヽ:/､..,,_________　　　　　 |:::::|　　 ;':::;'
ﾊ:::ヽ.　　　　/　 　） 　 _,,..-''"/_ 　　 　 |::。!::::;'　　　　 '､ 。　）　　　｀ヽ､　　　　 　.|:::::| 　./::/
　|::::::|　　／ 　　 （´￣　 　 i´::::｀"''ｰ-┘ ﾊ::::!　　　 　ノ｀'ｰ'i　　　　 　　 ':､　　　　|::::::| ./:::/

　　　　 ┌┐┌┐　　　 　┌┐　　　　　　　　　　　　　　 ┌┐　　　　　/ヽ,
　　　┌┘└┘└┐┌─┘└─┐┌────┐┌─┘└─┐　./　/
　　　└┐┌┐┌┘└─┐┌─┘└─┐┌─┘└─┐┌─┘ /　/　 　___
　　　　 └┘││　　　 　││　　　　 　.││　　　 ,.'"´｀'　'ヽ.　　/　/,.-､　i　 |
　　　　　　　 ,'　,'　　　　　 ,' .,' 　 　. ┌─┘└─┐ !　(´_｀'ヽ/　 /　 ,.-､　｀´ 　!
　　　　　　 く_／　　　　 く_／　　　　└────┘ ':､.,________7 /___/ 　　ヽ､.,_ノ

　　　　,.‐‐､　　　　　　 ,.-‐-､
　　　く__,.ヘヽ.　　　　/　,ー､ 〉
　　　　　＼ ', !-─‐-i　/　/´
　　　 　 ／｀ｰ'　　　 L/／｀ヽ､
　　 　 /　 ／,　 /|　 ,　 ,　　　 ',
　　　ｲ 　/ /-‐/　ｉ　L_ ﾊ ヽ!　 i
　　　 ﾚ ﾍ 7ｲ｀ﾄ　 ﾚ'ｧ-ﾄ､!ハ|　 |
　　　　 !,/7 'ゞ'　　 ´i__rﾊiソ| 　 |　
　　　　 |.从"　　_　　 ,,,, / |./ 　 |
　　　　 ﾚ'| i＞.､,,__　_,.イ / 　.i 　|
　　　　　 ﾚ'| | / k_７_/ﾚ'ヽ,　ﾊ.　|
　　　　　　 | |/i 〈|/　 i　,.ﾍ |　i　|
　　　　　　.|/ /　ｉ： 　 ﾍ!　　＼　|
　　　 　 　 kヽ>､ﾊ 　 _,.ﾍ､ 　 /､!
　　　　　　 !'〈//｀Ｔ´', ＼ ｀'7'ｰr'
　　　　　　 ﾚ'ヽL__|___i,___,ンﾚ|ノ
　　　　　 　　　ﾄ-,/　|___./
　　　　　 　　　'ｰ'　　!_,./

　 　　　　　　　　　 __,,.. --──- ､..,,_　　　　　　　　,. -──────
　　　　　　　 ,. ''"´　　　 　'⌒)_,.-､　 ｀';　　　　 　 ,'
　　　 ,. -‐＜　　　　　　 ､_,,... ---──'-､ 　　 　 i　何これ
　　 ;'　　　　 ｀ヽ._,,..ゝ-＜.,__,,..-‐-､,　 　 ';ヽ.　 　 |
　　 !　　　(⌒ヽノ !　　 !　,'　/!　　! `''ｰ､ｲ 　!　　 !　キュウリじゃない
　　 ';　 　 　　 八 ,ゝ､_」ｨ!__/ .! 　;'　!　;　ヽ./　 ∠.._
　　　', 　 ',　 /　 `i ;'´;'ハ　　└､;_,.ｨ　/ 　 ﾊ　　　　｀'' ｰ----------‐
　　　 i　　 Y`ヽ/!_,!ｉ　!_,ｿ　　　　!ﾊ｀yiヽ､/ /
　　　,'　　 / 　.! 　'ひ　　　..::::..　'-'_ﾉi Y　　',　　なんか苦い
　_.ノ　 　,ﾍ._ 　',　　'､　　 ,.-‐-､ 　　''!八　　!　
　 ｀（　r'　　）｀ヽヽ　 ）､　し--‐’ ,.,イ　 ! ）ノ　　　　_）
　　　）'　／＞‐‐'＜Yヽ､｀' T7"´ノﾚﾍノ （　　 　 ,.:'";';
　　　　,.':::/　　　　 ヽr､ ＼.」 ｀!」ヽ.　　　 　　　ﾉ_）;':;'
　　　 /:::;'　/こコ　　iヽﾍ／ﾑ､!」,　 i　　　　　,.'´_;',:;'
　　　;':::7　/　　 !　　ﾄ､ 　　 ﾊ 　 V !.　 ,..-r'つ'､ヾ'
　 　 i:r!　 　　　　　 ,'　 ヽ､ ○ ／ !/／　 !/;'（__,ｿ
　　　!/`　 r-　 　イ　　　　`F'　　 !'´　 　 !､__ノ!
　　／　 　'　　　　!　　_,,..イ　 ｀ゝ､i　　　 　 　_,:'

The notion of cardinality, as now understood, was formulated by Georg Cantor, the originator of set theory, in 1874–1884. Cardinality can be used to compare an aspect of finite sets; e.g. the sets {1,2,3} and {4,5,6} are not equal, but have the same cardinality, namely three (this is established by the existence of a one-to-one correspondence between the two sets; e.g. {1->4, 2->5, 3->6}).

Using König's theorem, one can prove κ < κ^cf(κ) and κ < cf(2^κ) for any infinite cardinal κ, where cf(κ) is the cofinality of κ.

Three things are being declared here: an anonymous enumerated type is declared, ShapeType is being declared a typedef for that anonymous enumeration, and the three names kCircle, kRectangle, and kOblateSpheroid are being declared as integral constants.

The formula would be useful neither to compute the force between two objects of finite mass nor to compute their motions. If an infinite mass object were to exist, any object of finite mass would be attracted with infinite force (and hence acceleration) by the infinite mass object, which is not what we can observe in reality.

It seems like most of our names for colors come from our German roots (blue/blau, green/grün, red/rot, etc.). But yellow is gelb in German, amarillo in Spanish, jaune in French, and giallo in Italian. I suppose the Italian seems closest, but perhaps they all have something in common?

The most widely studied systems of axiomatic set theory imply that all sets form a cumulative hierarchy. Such systems come in two flavors, those whose ontology consists of:

ah good to see i'm not alone. also pretty sure this is a bug, but i noticed that your hunger meter drops a lot faster (like as if you had a bunch of "大食【大】" seals equipped.

One way to prove that a class is proper is to place it in bijection with the class of all ordinal numbers. This method is used, for example, in the proof that there is no free complete lattice.

The reason that we are able to choose least elements from subsets of the natural numbers is the fact that the natural numbers are well-ordered: every nonempty subset of the natural numbers has a unique least element under the natural ordering.

　 　　　　　　　　　　　　　　 _,,,.........,,,,_
　　　　　　　　　　　　,..::''"´:::;::::'´::::::::::｀ﾞ'::..、
　　　　　　　　　 .,.::'´::__:::::;::´::::::::::::::::::::::::::::::＼
　　　　　　　　／:::::''´:::::｀:::::::::￣｀ﾞ':::､::::::::::::::::::ヽ,
　　　　　　 .,.:'::／::::::::::::::::::ヽ;::::::::::::::::::＼:::::::::::::::::':,
　　　　　　/::::::::::;:::／ ｀ヽ,::::::ﾄ､:::::::::::ヽ;:::::「ヽ:::::::::::',
　　　　　 ,':::/:::::::l/　　 　 ';:::::}　＼::::::::::';::ﾉ ,ゝ､::::::::l
　　　　　;:::::':::::::;' 二_　　　|:::, 　 　ヽ;::::r' イ　ﾉ:::::::::;
　　　　　l::::i::::::::{ｨ´ｒ)ヾ､　 ﾚ'　_,,.二､ﾊ::;＞‐r'::::::::::/
　　　　　|;:::':::::::lｒ‐弋_ﾘ'ｒ-､-ｧ´r) l!｀Y!:::::i:::::';::::::::/
　　　　　|::,:::､::::'､､"　_.ﾉ 　　､　ゝ-‐ﾟﾒ::::;'::::::|:::::':::::',
　　　　　 ,::'､::＼;ゝ　 　. 　　　　ｰ "升:/l::::::;:::::::::::::ヽ
　　　　　 }::/.}::::人 　 　、　　　　　/::ﾚ'ﾉ:::;:'::|:::::::::::::::::＼
　　　 　 ,':/ ﾉ:;:':::::::＼ 　｀ 　´ 　 ,:':::::::/／:::::;:::::::::::::::::::::::':,
　　　　　{:{ ,'::;::::::::/:::/ヽ.,_,,..　 イ':::::::/´::::::::/:::::::::::::::::ﾉ:::::ﾉ
　　　　　r {/::::::::;':: ／｀ヽ ﾊ}　 |::::::;:':::::::::::/::_;;:: -‐ i''"￣ヽ
　　　　　},:':::::::::::{ /　 '-く`''ｰ-r!:::::{--‐ ''i"´　　　　|　　　　,
　　　　/::{::::::: r､/　　　　ヽ 　　l:::::',:::::::::::|＿＿,,... -!＿　 　}
　　 ／ ヽ/ヽ:ｒ' ､＼ 　 　ｒﾉー- ,::::::}￣￣|::::::::::::::::::;'＞ヽ 　;
　　{　 　;':::::: } 　 ＼＼　ﾉ'、::::::ﾉ::::;:'＿_ .ﾉ::::::::::::／　　 　∨
　　 ヽ /7ｰ､/　　　 ＼ Y ￣ /::／　　 　￣｀ア　　　　　　',

Examples of category-theoretic statements which require choice include:

Category theory[1] is used to formalize mathematics and its concepts as a collection of objects and arrows (also called morphisms). Category theory can be used to formalize concepts of other high-level abstractions such as set theory, field theory, and group theory.

　　　　i⌒ヽ 　　　　　_ _人_ _　　　　 　　　　　　 7ヽ,.__
　　　　|　　|　　 , ‐､　　｀Y´　 　　　　 　 ,.. -─-'＜:::メ´￣＞
　　　　'､　 '､ 　 !　 |　　　　　　　　 　 ／:::::::::::::::::::::::::｀'::＜´ 　 　 　 　 |
　　　　/´ ￣｀.ｿ 　 !　　　　　　 _ノ´￣｀ヽ､＿＿_::::::::::::::::::｀ヽ、　　─ ┼ ‐
　　　　!_,.-‐＜,　　 |　　　　　　{／´￣`ー---- ､｀ヽ､＿::::::::::::',　　　　 !
　　　　{　 ＿_ｿ､　 ,ﾊ　　　　　/　 ./　　 ,　　, 　　` ｰ- ､｀ヽ:::::::!
　　　　 ヽ＿_ﾉ　ヽ// ＼ﾄ.､　｜　 | 　 _/|_ ./| 　./ 　 ,　　Y:::::∨　　＋　あなたを～殺して～♪
　　　　　||＼＿／/　 　 ヽﾊ　'､　 !　 /_」_/　!／|-‐/ﾄ　　ﾄ､:::::|　　　　　　　　　　よかですか～♪
　　　　　||::::::::::://　　　 　 ∨,-∨| ,ｲ´j__r! 　 　 ｧ‐'ti､　./　ﾊﾉ　　 　 　　ﾄ､
　　　　　|ﾄ--‐'ｲ　　　 　　 ,ﾊ7￣`ヽ!" 　 　　 　 ゝ-''ｲ／r─ｧ|　　　 　　ﾉ　',
　　　　　`ｰ-＜.,,＿_＿　 　 ﾉ 　　　ヽ、　i7￣｀ヽ　"/|　,ﾄｒ'´ | 　　 r--‐'ﾉ 　i
　　　　　　　　　　　 7　｀ヽ、　　　　　ﾉ＞Y'⌒ヽﾉ／ / /|　　 !　　 ﾉﾉ￣　　.ﾉ
　　　　　　　i 　 　　|ﾍ.　 　|＞ ､.,__イ/＼ ﾍ、 ノ/イ´｀ヽ.ﾚﾍノ＞‐'イ　　 r'´
　　　 ＿　_人＿ _ _　　＼ﾍ 　 　　｀7ヽ､`ｧ'⌒Y　/|　　　∨　　､,_ノ　 　ﾉ
　　　 　　 ｀Y´　　　　　　 　 ＼＿__i::::::::::i´　　∨|/　　　 ﾉ　　　　　 _ノ´
　　　　　　　! 　　　　　 　　 　 　 　 '､:::::::|ヽrｧ､ﾘ￣｀ヽ,イ＼ｒ--‐''"´
　　　　　　　　　　　　　　　　　　 　　 〉:::､||::|ﾄ-| 　　 　 |　
　　　　　　　　　　　　　　　　　_,..-‐ｧ':::::::;ﾍ::||:/|　　 　 ﾉ､　　　　　*
　　　　　　　　　　　　 　_,r::'"´::::／:::::::::/:::::`|'ノ　　,.イ:::::::＼
　　　　　　　　　　　　r'/:::::::::'"´::::::::}>oく{:::::ﾉー-イ:::::'､:::::::::::｀＞‐-､
　　　　　　　　　　　　|':::::::::::::::::::::::::／:::::::::（::::::::::::::!:::::::::＼::::/::::::::::::ﾉ〉
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　ｒ‐-､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　 ',　　ヽ.,
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　{　　　　￣｀ヽ、
　　　 　　 ,.　 -┼　　 　　 _ﾉ＼　　　　　　　　　　　　 　　{￣ヽ-‐､　　 　 ｀_つ
　　　　,X　　 　 　　　　＿}＿_ ヾ´￣｀ヽ,. -‐ｧ　　　　 　 , '｀ ｰ-､　 ｀ｰ'ヽイ
　　　 / 　　　　,.　 '"´　　　　 ￣｀ﾞ' ＜　　 { 　 　 　 　 ,:'　　　　　　｀7´＼}
　　　　　　 ,. '´　__,. -～- 、__　　　　　｀ﾞ' 、]　　　 　 /　　　　　　　 / 　/
　　 　　 ／ r'~ _,,.. -───- ､..,,_｀ ｰ-､　 ＼. 　　　,'　　　 　 　 　 　　/
　　 　 r'　,　'"　　 /　　　　　　ヽ　｀ﾞ　　、-､　ﾊ 　 /　　　　　　　　　 ,:'
　　 　 }7´　 / 　　{　　 　　 　　 ',　　　　 ＼　ヽﾄ. /　 　　　　　　 　, '
　　　 /　 　 ' 　 _/|　　　　/、　‐|-　　　　　 ヽ 　,　　　　　　 　　／
　　　;' 　 　 l7´/　 ､　　　;　 ＼ ; ＼　　 　}l　 　;　　　　　　　　,:'　　　　　　ﾄ、
　　　|　i　　.| ./xｾﾐ ＼ 　|　 ｧ=＝ミ,ﾊ.　 / lｒ- ,'　　　　　　 　,:'　　　　　　 /　}
　　　',　、 　{ ｲ　h ﾊ　 ヽ{　 　 　 　ヽ|／ 　L./ 　　　　　　 ,:'　　　　　　／　　｀ア
　　　 ∨ ＼ﾑ　 乂り　　　　　　　ｘｘ ;　　　; /　　 　 　 　 ,:'　　 ┼　　 '、 　　　 ,＞
　　　　　　} 小xx　　 　'　　　 　　 　/ 　　／ 、　　　　　./　　　メ 　 　ノ　　　　 ＼
　　 rｧ'"´/　.| {　　　　r7 ￣｀ヽ 　 / 　 , '　 　 ＞.､_　　/　　　　　　 く　　　　　　ｒ┘
　　 ｀ﾞｰｧ' 　　人　　　 ､　　　 ﾉ　,/ 　 /　　　　　 　　 ヽ　 ／｀l　 　　 }　　　　　　＼
　　　　;　/　 　 |＞ 、__　　 　 ／;　 /,' 　　　　　　　 　　'/　 　 '､　　ノ　　 　　　 ｒ‐┘
　＿ﾄ､ﾚ' {　　 /　,.:'":::::::｀ヽ,イ　 |／ .{　　 　　　　　 　 　}　　 　　￣　　　　　　_ノ
　＼ 　'、 '､　 {　l{:::::::::::::::::::} 　／　 　', 　　　　 　 　　　/　　　､ l | ll l || l l||| l l| l || l l||| l
　＜　　 ＼ ｀ヽ　ﾍ､:￣::｀ソア7 　　　ﾑ　　　　　　　　, '　 ＼ 、
　r' 　 　　 {　　　_ ｧ'⌒ヽ7ム._{　　　 /ﾊ、　　　　　／　　 ミ　　チンチンチャイナマイノ
　ゝｧ' 　　　':、／/　⌒ヽヽ{　＼　 ｒ'/ 　|}＞ｰ‐ｧ'´　　 　 三
　∠、 　　　7 　,' 　 ⌒ヽ}ﾉ}　　 ヽr7 　　'、　// ⌒ヽ 　 ﾆ　　　ウェルウェルロン
　　 /へ　　,'　.ｒ{　´⌒ヽｿ ﾘ　　　 　　　　ヽ//　　　　∨二
　　　　　 / ´l{:|　r'´ヽﾉl}∧　　　　　　 　　 ,:'　　　　　　Ξ　　 ロメッダケ ロメッダケ
　　　　 , '{ 　 '､　ﾉ:::::l「 /　 ' 、/_.]　　　　 ,' 　 　　　　　ﾆ
　　 　 /　'､　 ヽ└rイ　　Σンヽ.　　　　　{　　　　　　　二　　　シャッチマッシャン
   
   

The two functors F and G are called naturally isomorphic if there exists a natural transformation from F to G such that ηX is an isomorphism for every object X in C.

In the category of topological spaces, morphisms are continuous functions and isomorphisms are called homeomorphisms.

　 　　　　　　　　　　　　　　 _,,,.........,,,,_
　　　　　　　　　　　　,..::''"´:::;::::'´::::::::::｀ﾞ'::..、
　　　　　　　　　 .,.::'´::__:::::;::´::::::::::::::::::::::::::::::＼
　　　　　　　　／:::::''´:::::｀:::::::::￣｀ﾞ':::､::::::::::::::::::ヽ,
　　　　　　 .,.:'::／::::::::::::::::::ヽ;::::::::::::::::::＼:::::::::::::::::':,
　　　　　　/::::::::::;:::／ ｀ヽ,::::::ﾄ､:::::::::::ヽ;:::::「ヽ:::::::::::',
　　　　　 ,':::/:::::::l/　　 　 ';:::::}　＼::::::::::';::ﾉ ,ゝ､::::::::l
　　　　　;:::::':::::::;' 二_　　　|:::, 　 　ヽ;::::r' イ　ﾉ:::::::::;
　　　　　l::::i::::::::{ｨ´ｒ)ヾ､　 ﾚ'　_,,.二､ﾊ::;＞‐r'::::::::::/
　　　　　|;:::':::::::lｒ‐弋_ﾘ'ｒ-､-ｧ´r) l!｀Y!:::::i:::::';::::::::/
　　　　　|::,:::､::::'､､"　_.ﾉ 　　､　ゝ-‐ﾟﾒ::::;'::::::|:::::':::::',
　　　　　 ,::'､::＼;ゝ　 　. 　　　　ｰ "升:/l::::::;:::::::::::::ヽ
　　　　　 }::/.}::::人 　 　、　　　　　/::ﾚ'ﾉ:::;:'::|:::::::::::::::::＼
　　　 　 ,':/ ﾉ:;:':::::::＼ 　｀ 　´ 　 ,:':::::::/／:::::;:::::::::::::::::::::::':,
　　　　　{:{ ,'::;::::::::/:::/ヽ.,_,,..　 イ':::::::/´::::::::/:::::::::::::::::ﾉ:::::ﾉ
　　　　　r {/::::::::;':: ／｀ヽ ﾊ}　 |::::::;:':::::::::::/::_;;:: -‐ i''"￣ヽ
　　　　　},:':::::::::::{ /　 '-く`''ｰ-r!:::::{--‐ ''i"´　　　　|　　　　,
　　　　/::{::::::: r､/　　　　ヽ 　　l:::::',:::::::::::|＿＿,,... -!＿　 　}
　　 ／ ヽ/ヽ:ｒ' ､＼ 　 　ｒﾉー- ,::::::}￣￣|::::::::::::::::::;'＞ヽ 　;
　　{　 　;':::::: } 　 ＼＼　ﾉ'、::::::ﾉ::::;:'＿_ .ﾉ::::::::::::／　　 　∨
　　 ヽ /7ｰ､/　　　 ＼ Y ￣ /::／　　 　￣｀ア　　　　　　',

　　　　i⌒ヽ 　　　　　_ _人_ _　　　　 　　　　　　 7ヽ,.__
　　　　|　　|　　 , ‐､　　｀Y´　 　　　　 　 ,.. -─-'＜:::メ´￣＞
　　　　'､　 '､ 　 !　 |　　　　　　　　 　 ／:::::::::::::::::::::::::｀'::＜´ 　 　 　 　 |
　　　　/´ ￣｀.ｿ 　 !　　　　　　 _ノ´￣｀ヽ､＿＿_::::::::::::::::::｀ヽ、　　─ ┼ ‐
　　　　!_,.-‐＜,　　 |　　　　　　{／´￣`ー---- ､｀ヽ､＿::::::::::::',　　　　 !
　　　　{　 ＿_ｿ､　 ,ﾊ　　　　　/　 ./　　 ,　　, 　　` ｰ- ､｀ヽ:::::::!
　　　　 ヽ＿_ﾉ　ヽ// ＼ﾄ.､　｜　 | 　 _/|_ ./| 　./ 　 ,　　Y:::::∨　　＋　あなたを～殺して～♪
　　　　　||＼＿／/　 　 ヽﾊ　'､　 !　 /_」_/　!／|-‐/ﾄ　　ﾄ､:::::|　　　　　　　　　　よかですか～♪
　　　　　||::::::::::://　　　 　 ∨,-∨| ,ｲ´j__r! 　 　 ｧ‐'ti､　./　ﾊﾉ　　 　 　　ﾄ､
　　　　　|ﾄ--‐'ｲ　　　 　　 ,ﾊ7￣`ヽ!" 　 　　 　 ゝ-''ｲ／r─ｧ|　　　 　　ﾉ　',
　　　　　`ｰ-＜.,,＿_＿　 　 ﾉ 　　　ヽ、　i7￣｀ヽ　"/|　,ﾄｒ'´ | 　　 r--‐'ﾉ 　i
　　　　　　　　　　　 7　｀ヽ、　　　　　ﾉ＞Y'⌒ヽﾉ／ / /|　　 !　　 ﾉﾉ￣　　.ﾉ
　　　　　　　i 　 　　|ﾍ.　 　|＞ ､.,__イ/＼ ﾍ、 ノ/イ´｀ヽ.ﾚﾍノ＞‐'イ　　 r'´
　　　 ＿　_人＿ _ _　　＼ﾍ 　 　　｀7ヽ､`ｧ'⌒Y　/|　　　∨　　､,_ノ　 　ﾉ
　　　 　　 ｀Y´　　　　　　 　 ＼＿__i::::::::::i´　　∨|/　　　 ﾉ　　　　　 _ノ´
　　　　　　　! 　　　　　 　　 　 　 　 '､:::::::|ヽrｧ､ﾘ￣｀ヽ,イ＼ｒ--‐''"´
　　　　　　　　　　　　　　　　　　 　　 〉:::､||::|ﾄ-| 　　 　 |　
　　　　　　　　　　　　　　　　　_,..-‐ｧ':::::::;ﾍ::||:/|　　 　 ﾉ､　　　　　*
　　　　　　　　　　　　 　_,r::'"´::::／:::::::::/:::::`|'ノ　　,.イ:::::::＼
　　　　　　　　　　　　r'/:::::::::'"´::::::::}>oく{:::::ﾉー-イ:::::'､:::::::::::｀＞‐-､
　　　　　　　　　　　　|':::::::::::::::::::::::::／:::::::::（::::::::::::::!:::::::::＼::::/::::::::::::ﾉ〉
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　ｒ‐-､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　 ',　　ヽ.,
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　{　　　　￣｀ヽ、
　　　 　　 ,.　 -┼　　 　　 _ﾉ＼　　　　　　　　　　　　 　　{￣ヽ-‐､　　 　 ｀_つ
　　　　,X　　 　 　　　　＿}＿_ ヾ´￣｀ヽ,. -‐ｧ　　　　 　 , '｀ ｰ-､　 ｀ｰ'ヽイ
　　　 / 　　　　,.　 '"´　　　　 ￣｀ﾞ' ＜　　 { 　 　 　 　 ,:'　　　　　　｀7´＼}
　　　　　　 ,. '´　__,. -～- 、__　　　　　｀ﾞ' 、]　　　 　 /　　　　　　　 / 　/
　　 　　 ／ r'~ _,,.. -───- ､..,,_｀ ｰ-､　 ＼. 　　　,'　　　 　 　 　 　　/
　　 　 r'　,　'"　　 /　　　　　　ヽ　｀ﾞ　　、-､　ﾊ 　 /　　　　　　　　　 ,:'
　　 　 }7´　 / 　　{　　 　　 　　 ',　　　　 ＼　ヽﾄ. /　 　　　　　　 　, '
　　　 /　 　 ' 　 _/|　　　　/、　‐|-　　　　　 ヽ 　,　　　　　　 　　／
　　　;' 　 　 l7´/　 ､　　　;　 ＼ ; ＼　　 　}l　 　;　　　　　　　　,:'　　　　　　ﾄ、
　　　|　i　　.| ./xｾﾐ ＼ 　|　 ｧ=＝ミ,ﾊ.　 / lｒ- ,'　　　　　　 　,:'　　　　　　 /　}
　　　',　、 　{ ｲ　h ﾊ　 ヽ{　 　 　 　ヽ|／ 　L./ 　　　　　　 ,:'　　　　　　／　　｀ア
　　　 ∨ ＼ﾑ　 乂り　　　　　　　ｘｘ ;　　　; /　　 　 　 　 ,:'　　 ┼　　 '、 　　　 ,＞
　　　　　　} 小xx　　 　'　　　 　　 　/ 　　／ 、　　　　　./　　　メ 　 　ノ　　　　 ＼
　　 rｧ'"´/　.| {　　　　r7 ￣｀ヽ 　 / 　 , '　 　 ＞.､_　　/　　　　　　 く　　　　　　ｒ┘
　　 ｀ﾞｰｧ' 　　人　　　 ､　　　 ﾉ　,/ 　 /　　　　　 　　 ヽ　 ／｀l　 　　 }　　　　　　＼
　　　　;　/　 　 |＞ 、__　　 　 ／;　 /,' 　　　　　　　 　　'/　 　 '､　　ノ　　 　　　 ｒ‐┘
　＿ﾄ､ﾚ' {　　 /　,.:'":::::::｀ヽ,イ　 |／ .{　　 　　　　　 　 　}　　 　　￣　　　　　　_ノ
　＼ 　'、 '､　 {　l{:::::::::::::::::::} 　／　 　', 　　　　 　 　　　/　　　､ l | ll l || l l||| l l| l || l l||| l
　＜　　 ＼ ｀ヽ　ﾍ､:￣::｀ソア7 　　　ﾑ　　　　　　　　, '　 ＼ 、
　r' 　 　　 {　　　_ ｧ'⌒ヽ7ム._{　　　 /ﾊ、　　　　　／　　 ミ　　チンチンチャイナマイノ
　ゝｧ' 　　　':、／/　⌒ヽヽ{　＼　 ｒ'/ 　|}＞ｰ‐ｧ'´　　 　 三
　∠、 　　　7 　,' 　 ⌒ヽ}ﾉ}　　 ヽr7 　　'、　// ⌒ヽ 　 ﾆ　　　ウェルウェルロン
　　 /へ　　,'　.ｒ{　´⌒ヽｿ ﾘ　　　 　　　　ヽ//　　　　∨二
　　　　　 / ´l{:|　r'´ヽﾉl}∧　　　　　　 　　 ,:'　　　　　　Ξ　　 ロメッダケ ロメッダケ
　　　　 , '{ 　 '､　ﾉ:::::l「 /　 ' 、/_.]　　　　 ,' 　 　　　　　ﾆ
　　 　 /　'､　 ヽ└rイ　　Σンヽ.　　　　　{　　　　　　　二　　　シャッチマッシャン
   
   

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 _　　　　　　　ヽ 　 i　　 | -┬‐　!
　　　　　　　　　　　　　　　　　　　　　　_,,,... -‐‐- ､,‐-ｧ◎ヽ-､　　　 ｀7 .lﾆ|ﾆl　 | lﾆiﾆl　|　　　　　 ノﾉ　! ､ __
　　　　　　　　　　　　　　 ,.-‐- ､- ''"´　 　　　　 　 ｀'_`‐-､::◎i.　　　/|ヽ!__!__!　.!　 |__､ ﾚ　,.‐ｧ‐､ ,..ｲｰ┼-┬
　　　　　　　　　　　　 　 / 　　　 ）　　 　　 　　 　　´　｀ヽ,_｀ン'ヽ.　 　 !　　|　　ﾉ '"´　 ｀　 し'　ノ 　.| ﾉ !ヽ 」
　　　　　　　　　　 　　 ,.'　　　　　 　 　 　　　　　　 ヽ.　　 Y 　 　 ',
　　　　　　　　　　　　/　 ;'　　　　 ;'　 ! 　 　 i　 __」_ 　',　 　!　　　 !
　　　　　　　　　　 　',　　!　　　　 !__　i　　　,! 　 _」_ ｀ i　　,'　　 　,!
　　　　　　　　　　　　ヽ.　'､　 ',　´!_」_/!　 _/L,ｧ',.-､｀Yi　 ,' 　　 ノ !
ヽ7ヽ.　　　　　　　　　 ﾉ､　 ｀ヽゝｧ' ,-､ '"´　 　 i　 ﾊ　!ﾚ'__,,..イ　 ,' 　　　　　　　　　　　　 /｀i
/:::::::/ヽ､　　　　　　／　,ゝ､ 　 /i　i　ﾊ　　　　　ゝ-'　　iニi　 !　〈　　　　　　　　　　 ,-,-r/　;'/｀i
:::::::/ 　　｀' - ､,　,.'´ 　ノ　　Y´ﾊ 　ゝ'’　　 '　　　 　''"ノﾉ´!､ 　,! ',　　　　　　　　 ／ /::;'　 /　./'"ﾝ
::::/　　　　　　　｀"'＜_　　　;' 　 !''"　　　i'7´￣ヽ.　 （r ' 　 !ﾉ　ハﾉ　　　_,,. - ''"´　 /::/ ､_ -､　 く
;:'!　　　　　　　　　　　 ｀''ｰr|r､ノﾄ､ 　　　V　 　　 i　,.ｲ｀''ｰ'ﾄ､ノ _,.-ｧ'"´　　　　　　 ,'::;'､.,_____)　 ,r-'
/ 　　　　　　　　　　　　 ;':::::;'｀ｰﾉ､, ｀7ｧ ,､.,__　 _,.イ（ '､　　|ﾉ‐ｧ':::/　　　　　　　　　i::::|ｰ-‐､ｰ-r'
　　　　　　　　 　　　　　i::::/　　　!´｀7｀ゝ､_!.,__,,.イ ,ゝ､ヽ､」 /::::/　　　　　　　　　__|::::|'"´　 |:::|
',｀ヽ､., 　　　　　　　　　 !::/｀ヽ､./　 ,'　　/:。!:ﾟ:|　 / 　 ｀ヽ､）::::;'　　　　　　　　　　 |:::::|　　　|::::|
::'､　　　　　　　_-,‐''"´ ｀/ｰ‐-Y　　|・／!:。:!ﾟ:::|（｀ヽ､.,____/ |::::i　　　　　　　　　　　|:::::|　　　!::::!
',:::';　 　　　　 ／､　　.ノイ´　 ﾊ　 　´　 |。::!ﾟ:::!/｀ヽ､.,__　｀ヽ:/､..,,_________　　　　　 |:::::|　　 ;':::;'
ﾊ:::ヽ.　　　　/　 　） 　 _,,..-''"/_ 　　 　 |::。!::::;'　　　　 '､ 。　）　　　｀ヽ､　　　　 　.|:::::| 　./::/
　|::::::|　　／ 　　 （´￣　 　 i´::::｀"''ｰ-┘ ﾊ::::!　　　 　ノ｀'ｰ'i　　　　 　　 ':､　　　　|::::::| ./:::/

　　　　 ┌┐┌┐　　　 　┌┐　　　　　　　　　　　　　　 ┌┐　　　　　/ヽ,
　　　┌┘└┘└┐┌─┘└─┐┌────┐┌─┘└─┐　./　/
　　　└┐┌┐┌┘└─┐┌─┘└─┐┌─┘└─┐┌─┘ /　/　 　___
　　　　 └┘││　　　 　││　　　　 　.││　　　 ,.'"´｀'　'ヽ.　　/　/,.-､　i　 |
　　　　　　　 ,'　,'　　　　　 ,' .,' 　 　. ┌─┘└─┐ !　(´_｀'ヽ/　 /　 ,.-､　｀´ 　!
　　　　　　 く_／　　　　 く_／　　　　└────┘ ':､.,________7 /___/ 　　ヽ､.,_ノ

　　　　,.‐‐､　　　　　　 ,.-‐-､
　　　く__,.ヘヽ.　　　　/　,ー､ 〉
　　　　　＼ ', !-─‐-i　/　/´
　　　 　 ／｀ｰ'　　　 L/／｀ヽ､
　　 　 /　 ／,　 /|　 ,　 ,　　　 ',
　　　ｲ 　/ /-‐/　ｉ　L_ ﾊ ヽ!　 i
　　　 ﾚ ﾍ 7ｲ｀ﾄ　 ﾚ'ｧ-ﾄ､!ハ|　 |
　　　　 !,/7 'ゞ'　　 ´i__rﾊiソ| 　 |　
　　　　 |.从"　　_　　 ,,,, / |./ 　 |
　　　　 ﾚ'| i＞.､,,__　_,.イ / 　.i 　|
　　　　　 ﾚ'| | / k_７_/ﾚ'ヽ,　ﾊ.　|
　　　　　　 | |/i 〈|/　 i　,.ﾍ |　i　|
　　　　　　.|/ /　ｉ： 　 ﾍ!　　＼　|
　　　 　 　 kヽ>､ﾊ 　 _,.ﾍ､ 　 /､!
　　　　　　 !'〈//｀Ｔ´', ＼ ｀'7'ｰr'
　　　　　　 ﾚ'ヽL__|___i,___,ンﾚ|ノ
　　　　　 　　　ﾄ-,/　|___./
　　　　　 　　　'ｰ'　　!_,./

　 　　　　　　　　　 __,,.. --──- ､..,,_　　　　　　　　,. -──────
　　　　　　　 ,. ''"´　　　 　'⌒)_,.-､　 ｀';　　　　 　 ,'
　　　 ,. -‐＜　　　　　　 ､_,,... ---──'-､ 　　 　 i　何これ
　　 ;'　　　　 ｀ヽ._,,..ゝ-＜.,__,,..-‐-､,　 　 ';ヽ.　 　 |
　　 !　　　(⌒ヽノ !　　 !　,'　/!　　! `''ｰ､ｲ 　!　　 !　キュウリじゃない
　　 ';　 　 　　 八 ,ゝ､_」ｨ!__/ .! 　;'　!　;　ヽ./　 ∠.._
　　　', 　 ',　 /　 `i ;'´;'ハ　　└､;_,.ｨ　/ 　 ﾊ　　　　｀'' ｰ----------‐
　　　 i　　 Y`ヽ/!_,!ｉ　!_,ｿ　　　　!ﾊ｀yiヽ､/ /
　　　,'　　 / 　.! 　'ひ　　　..::::..　'-'_ﾉi Y　　',　　なんか苦い
　_.ノ　 　,ﾍ._ 　',　　'､　　 ,.-‐-､ 　　''!八　　!　
　 ｀（　r'　　）｀ヽヽ　 ）､　し--‐’ ,.,イ　 ! ）ノ　　　　_）
　　　）'　／＞‐‐'＜Yヽ､｀' T7"´ノﾚﾍノ （　　 　 ,.:'";';
　　　　,.':::/　　　　 ヽr､ ＼.」 ｀!」ヽ.　　　 　　　ﾉ_）;':;'
　　　 /:::;'　/こコ　　iヽﾍ／ﾑ､!」,　 i　　　　　,.'´_;',:;'
　　　;':::7　/　　 !　　ﾄ､ 　　 ﾊ 　 V !.　 ,..-r'つ'､ヾ'
　 　 i:r!　 　　　　　 ,'　 ヽ､ ○ ／ !/／　 !/;'（__,ｿ
　　　!/`　 r-　 　イ　　　　`F'　　 !'´　 　 !､__ノ!
　　／　 　'　　　　!　　_,,..イ　 ｀ゝ､i　　　 　 　_,:'

::::::::::: ::: :: : : rｧ'￣77ヽ. 　　 iｱ'ヽ､　　　　　　　　　 /
:::::::: ::: :: : :　 }!::::::::!{:::::i,}　　r/:::::/,ﾊ､　　　　　　　　|　　　 ・
::: ::: :: : :　　　'､::::::ヽ､」|‐-r'::::::/ｿ:::::!{._　　　　 　 　 !　　　 ・
:: :: : :　　　　　 .＞;-‐ｧ'｀'ｰ'i-＜__ン´ ｀' ､　　　　　 |　　　 ・
: :　　　　　　／　く__/　　　 '､__,>　 　､ 　 ヽ.　　　　!
　　　　　　./ / 　;' __,/! ,ﾊ　/ｰ!-‐/!.　 ';. ';　';　　∠.
　　　　　.,.'　;'　　! ./_」/　ﾚ' ｧ'‐_-'､!　__.!　!　i　　　 ｀''ｰ-----‐
　　　　 く.;　!　　 !ｧ'´;-､　　 　i´ ﾊ Y´　,.ｲ　 !
　　　　　 i　!　　 !i　 i_,ﾘ　　　 ゝ‐'’ !__,ｲ/　　! 　 　 ,. -‐‐-､
　　　　　└i__,.ﾍ,ﾊ .,.,.　 　____　 　""/　| 　 ,.'　 　 /　,.-‐-､ i
　　　　　　く/　 　!､.,　　└‐┘　,／ 　ﾊ ／（ 　　 i　 i　､__ﾉ
　　　　　　 ;'　　　! ./｀"7''=r‐ｧ'´　　 /'´ﾉ）::::)　　 〉　`'ｰ-‐'
　　　 ____　i.　　　Vヽrイ__!／　 　_,.ｲ｀ヾ､!__」{　 ノ
　　;'´,.-､｀ '､　　r!:::｀ヽ!7‐ｧ'--‐ｧ''´　,rンヽ,
　　i　'､┘ ﾉ,i＞く二ソi-iヽ､::::::/!/　r'/:::::::::::';
　 ノ 　 ￣ rく 　 iｿ::::/!´｀ヽ､＞'　 /ｿ:::::::::::::::i>
　　　　　　 ｀ﾍ._ r!::::/､　　,ンi:::;ゝ /7,!-､r､_ノ　　厄
　　　　　　　　 i｀'ヽ'|:::） ノ::::}L/::V´　　/'´

Cardinality is defined in terms of bijective functions. Two sets have the same cardinality if and only if there is a bijection between them. In the case of finite sets, this agrees with the intuitive notion of size. In the case of infinite sets, the behavior is more complex. A fundamental theorem due to Georg Cantor shows that it is possible for infinite sets to have different cardinalities, and in particular the cardinality of the set of real numbers is greater than the cardinality of the set of natural numbers. It is also possible for a proper subset of an infinite set to have the same cardinality as the original set, something that cannot happen with proper subsets of finite sets.