Feces

its shit

if programming languages were feces...

Java would be one month of constipation followed by such a huge painful shit that your anus is ripped open

Haskell would be eating shit out your mistress ass with your hands tied behind your back

Lisp would be a lifeform spontaneously created from a swamp of feces

PHP would be waiting for mommy to change your dirty daipers

Prolog would be a series of forced enemas

Perl would be rat droppings

>>3
Prolog would be a series of forced enemas
That's Python.

JACKSON 5 GET

>>3
Delivers

Haskell would be eating shit out your mistress ass with your hands tied behind your back

*GRABS DICK*

JACKSON 7 GET

>>8
You are a terrible person.

>>9
You're mohter is a terible personxD

sorry to double post, but look at the 2 digits that are the same xD

>>11
double post
double post

ps. check my bakers dubzon

↖ check this prime, dude

　　　　　　　　　　　　　　　　　　　　　r/:./.:.:.:.:.:.:.:.:.:.:.:.:.:.:..:.:ヽ､　　　　__　　　／:::::::::::::::::::::::::::::::::!7
　　　　　　　　　　　　　　　　　　　 　 ri:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:::｀/7 ::__:: _｀'＜:::::::::::::::::::::::::::::::/:::/ !
　　　　　　　　　「|　　　　　　　　　　 「i:.:i:.:.:.:ヽ､.:.:.:.:.:;.:-‐｀ｰ- / / /_//_/ ::::::::::::;::::::::::::::::::::::::::::!_/
　　　　　　　　　| |　[][]　　,. -─- ､,) i:..:.:.:.:.:.:.:.＞'´:::::::::::::::: / ,､｀ヽ. ::::::: ｀"''＜::::::::::::::::::::::::l:::::!」
　　　　　　　　　| .二ﾆl ／　　　　　　ヽ|:.!.:.:.:／:::::::::::::::::::::: /_/　｀'ｰ' ::::::::::::::::::::::ヽ,,.. -──- ､
　　　　　　　　　| |　　/　　　　 ┐　　　ヽ.'"::::::::;'::::::::;::::::::::::::::::::;:::::::::::::::::::::::::::::: /　　 　 ┐
　「| [][]　__[][]　|_| 　 !　　：　絶　深　そ　', :::::::!::::::/;::::::::;:::::::::::ﾊ::::::::::::::::::::::ヽ. i　い　喜　激
　|└┐　| |. _________/　　 ：　望　い　の　 i ::!:::i::::/ i:::::::::!:::::::/　i::::::i::::::::::!:::::::: !　ら.　び　.し
　|_|￣ ￣￣　 　┐ ｀ヽ.　：└　　　　.か　 ＞　ﾚ''､」_:::::/!:::/ 　 i::::/i::::::::/i:::::::: |　な └　　い
/　：　だ　わ　平　そ　|.　 　も　　　 わ　 ! ::レ'7'´i7＞'､ﾚ' 　　ﾚ' ,_|::::/_ |:::::::: !　い　は
'　 ：.　っ　た　穏　ん　|.　 　な　　　 り　 | 「__! !　 !┘.!｀　　　 ,ｧ'r-=ﾆ」､!::::::/ !　：
.　 ：　た　し　 な　な　 !　　 い.　　　　　/ :::|__,!'`　`'ｰ'　 　　　 　!-''´ .! | |/:::: ',. ：
 　　　 の .の　生　　　 ＞　　　　_____,／ ::::ﾉ:::::! "" 　　　, 　 　　 '､__ンノ ﾄ--i ヽ.,__　　______ノ
　　　 に .目　活　　　 i　　　　　 ｀ヽ. ::::／:::::::人　 　　 ､_　　　 　　　 ,,,, ,:'!二'i_ノ::: |／ :::|::::!
　　　　　 標.└　 　 　,'　　　　　　 ┐Y:::::::::/::::::/＼　 　i/￣｀ヽ.　　　 //::::::::ﾊ:::::::/::::ﾊ:::::|::::!
　　　　　　　　こ. 　　/　人　の　植　 i :::::::i:::::/!.:.:.:i｀ヽ, ヽ､___ノ　 ,,.イ:/::::::::/::::!::: __/_ !:::::|::::|
　　　　 　　 　そ　／　　生　よ　物　 | ::i:::|イ7´￣7:.:.:.i｀' ｰｧ ''7´:.:.:.|;'::::::::/￣｀ / 7 ､_」: _!::::!
　　　　　　____,..イ　　 　 を.　う.　の　 | ﾊ:::! ! !.:.:.:/:.:.::.:.:ﾄ　　 _/:.:.:.:.:.:!::::::/ i　　/ /　/_//_/ ::!
￣￣￣￣　　　 !　　　　 ：　 な　心　 | ' Vr/:.:.:./:.:.:.:.:.:.:!-- ､/:.:.:.:.:.:.:ﾚ':.:.:.:.i　/ ,､｀ヽ. へ.,_/i/
　　　　　　　　　ヽ､　　　 ：　　 └ 　 ノ､__/:.:.:r/へ:.:.:.:.:.!____/:.:.:.:.:.:.:.:.|:.:.:.:.:. /_/　｀'ｰ'　 　ﾚへ

　 　　　　　　　 　 　　 　 ／|　　　 ﾄ、
　　　　　　 　　 　 　ﾄ､./　/／|　/　|
　　　　 　　 　 　 　 |　|ア"´|＼/　 ,!／|.　　　　イ┬┬┬
　　　　 　　 　 　＿_|∠::::::::::|::::::＼/ ／　 　 　 ┼┼┼┼　ｰ┼-､＼. 　 　 ┼　
　　　　　　　　　_lｒ ＝=‐-::､:|:;;_:::::::＼｀ア　　　 ┴┴┴┴　　 |　 |　　ｰ‐､　 | ￣ｿ
　　　　　 .,　'"´　|::[l::[l::r--､::ｒ､::｀"7ｰ‐'ｧ　　　 ﾉ　ヽ ヽ ヽ 　 ﾉ ､ﾉ　 　 _ノ　ﾉ ､＿
　 　 　／ .／　 　7｀ヽ‐..､__::::|」:::::/:::::::/ヽ、
　　　/　 /　 　 / |:::::::::::::;!　 ￣￣ヾ￣　　 ':,　　　 　ー┼─　　
　 　 '､　.!　 　/|、|:::::::::::/|　　/|　　 |:::!　　　',.　　　　l二|二l　　ｌ ＿_
　 　 　ヽ|　 ,:'|ｲlﾊﾍ::::::∧-‐ｧ''7 　 ,ﾊ::| 　 　 |　　　 ｰ三l三l‐ 　|　　ﾉ
　　　　　|／7　ｊり　＼| ｧﾃ‐ｒ'､　イ::::::ﾊ　　　|　　　　　､」 　 　 .ﾚ ､＿
　　　 　　.|:/"　 ｒ　　　　|ﾉ　 ﾘY/:::::/　|.　　,'　　　　　　　　　　　　　　　　　　　　　　　　　　 ┌‐-､
　　　　　 八　　　 　 　　ゝ‐ﾟ'ノ/::::/ｿ / 　 / 　 　 |.　　　　ｰ┼‐　＿|＿_|__ 　 /　　ｰ┼-､＼　　 　}
　　　　 /::::/＼　`　ｰ　　 ιﾞﾞ/::::/´|/　　 {　　　　|　　　　 ‐┼‐　　 |　､」　　/┐　　 .| 　|　　　r‐'´
　　　　,'::::;'　　 |ヽ､＿__　 , イ'::::/　/|　　　'､ 　 　 '､__.ノ 　（_ﾉ｀ヽ　　'､＿　 /　（__.ﾉ　ﾉ ､ﾉ　　　o
　　 　 |:::::| 　 , '"/{ｱr'」／ /|:::;:'＼'　'､ 　 　 ヽ.
　　　　'､:::!　./|:::r:'|　|/ 　ｒノﾚ'ｒ':::/｀ヽ ＼　　　 ':,
　　　　 ヽ| ｒ' /:::{l::/rﾍ、　　　ノ ﾉ:::／＼,ﾊ　　　 |
　　　　　 　Y::::::ヽム ﾉ ＼　r' r'::::/ 　 　 Y　　　ﾉ

　　　　　　　 ヽ　　　　　　　　　　　　　　　　　　　　　　　／
　　駄　弱　　 |　　　　　　　　　　　　　　　　　　　　　　/　 い 　バ 　貴
　　目　気　　 |　　　 　　 　 　 　 　 ﾄ 、　 ,　　　 　 　 ;　　る 　バ 　女
　　で.　は　　 ;　　　　　　 　 　＿＿|　）／）　　　　 　 !　　も 　 ァ 　の
　　す　　　　 /　　　　 ,.　 ''"´　　　　　｀ｒＯｰＯ　　　　|　　ん 　な. 　よ
　　よ.　　　, '　　　,.　'´　　　　　　　　　 （～-～） 　　 |　　で 　ん 　 う
　　　　　／ 　　／　　／　,　 　 |　＿ヽ、 ｀∨￣ヽ　　 |　　す 　て.　 な
──-､（.　 　, '　　　/　 /|　 　∧__」ｪ､ﾊ　　| 　 　 ':,　 '､　.か
　　　　 ｀　　/ 　　　;' 7"´ '､　 ; '´ hl ﾊY!.　 |　　　　';　　ヽ.,＿　　　　　_ノ
　　　　　　　'　 　 　|/ ｧ=,、 ＼|　 弋ｚｿﾑ二lト､　　　|　　　　　ﾉノ￣￣
　　　　 　　 | { 　 　;' ｲ hlﾊ　 　 　 　 ｘｘ| 　 |ｒﾉ　　　;　　　　 ´
　　　　　　　'､　、　|lﾊ ､ゝﾟ'　' 　　 　　　{二」l　　　 /
　　　　　　　　＼|＼,ﾍ|ｘ 　　　ｒ= ､　　　| ／）　　 /{
　　　　　　　　　　　| 人　　 　 ､　_）　　（／ |　　;'　 ､
　　　　 　 　 　 　 /;　　|＞.､,　　　　　イ|　 ,ﾊ　 {　　 ＼
　　　　　　　　　 /.／） ;　　 /ヾァ'"´　,ト／ .ﾉ､＿、 　 ､｀'　､
　　　　　　　　 .／／ l/　　/ _／ｒj　／/ 　（|.　 ／ ヽ、 ﾊ　　ヽ、
　　　　　　　.／ -‐''つ　 r/´　 /.／　 { o o ） /　　　∨　|　　　 ':,
　　　　 r-ｧ' 　 -‐ｧ'ﾉ|.／|l　 ／ム　　 .ゝ-イ /　 , -‐┴-.!､　　　 } _
　　　 ./∨ 　　 ﾝ´､l/ 　 |レ/:::::::;ｌ＼　 |　/ ,r／:::::;: -─-､|　 　 /./｀ｧ-､
　　　/＼:＼ イ::::::l:|＼／ 　{__:／ 　 ＼ﾚ' ､l/::::／　　　 　 |　 , 'つし' /　}
　　./　　 ＼:＼::::::||､/　　 /::::|　 　　　　　/::::/　 　 　 　 //´{　ヽ ヽしｒ'|
　 r;　　　 　 ＼:＼l|:{　　 /:::::;'　　　　　　 ;::::::|　　 　 　 /{r|::::ﾑ　　　　ノ|
　 |　　　　　　　＼:」'､　 ;':::::;' 　　　　 　 ,.|::::::'､ 　　　／ |:::|::::{　｀　,イ::|::|

　 　　　　　　　 r‐-　､　　　　　　　　　　　　　　　　　　　　／
　　　　　　　　　､.　 _|＿__／￣｀ヽ　　　　　　　　　　　　/　　　　　 い
　　　',　　/｀ヽ＿,X´ |-､/　 ￣｀ヽﾉ　　　　　　　 　　 　 |　　　か　 い
　　 　 　 | 　　_ｒ‐＜￣＞ー-､.イ__ ＼　　　　　　　　＿_|.　　　し　 の
　　　　',　　/「,＞''"´／｀ヽｰ-く⌒l_｀ヽヽ　　　　　／　　 ＼ 　 ら
　＼　　',　lｱ´　　/./　　　　　　＼-'ヽ.　ﾊ　　　./　　　私 　　 ？
　.　 ＼　 /　　　ﾒ､|　　　,ﾊ　　　　ヽ/､　 |　　　|　　　 の 　 ト-----
　　　　∠!　 　./rﾄ八 　l/ -|‐ ﾊ　　|,ﾊ/　|　 　 |　　 　土 　 |
　‐ ─　　､ 　/|　 j_ｒ!＼| -ｒｧﾃ､|　　ﾄ､|　/　　　|　　 　下 　 |
　　　　／　＼.ﾊ"　　,　 　 j__ｒｿ,　 /.） Yl　　　＜. 見.　座.　 |
　／／　　　./ 人　　､＿　　 "/／|　　八　　　 |　た.　を 　 |
　　 　 / 　 ,' .|　ｒ|＞､＿_ ,,. イ /ヽ|　ﾊ 　ヽ　　 |　時　 　 　 |　 　＿＿＿＿
　　　/　 　.|　∨/::::::/ |__,. イﾚ'　r' ＼ |　　）　　､　　　　　　　　´　　　　　　 ｀ヽ
　　　　　.r-'∨.,':::i::::|_/＼　　ｒソ/:::::::::Y　∧　　　` ｰ---‐／　　　　　　最
　　　　　 ∨ 　|::/::::（/ﾑ）ヽｒﾉ:::i::::::::::::::∨　 ＼　　/Ｌ　　/　 　 　 謝.　 終
　　　　　　|　r/､!:::::::く人）:::::::::/:::::::::::::::::| 　 　 ヽ/＿/　 | 　貴 　 る 　 的
　　　　　 ,ﾊ /ヽ,ﾍ､::::::::l:::::::::::::ヽ_r- ､__ノ ヽ、　く_」　　　 | 　方 　 事　 に
　　　 　（　./　　ヽ,ﾊｰ::::::::::::::::イ| ￣　|　　　',　　 |. 　 　 | 　達 　 に
　　　 　 ﾉ7　　//rく::::r-､:::::::::::::;| _　　|　　　 |　 / 　 　　| 　な 　 .な
　　　　 |./　 ./＿,.へ.　 ,.ﾍ.￣ /´　　 ,ﾊ_　　 }￣｀Y´{　　| 　の　　る
　　　　 ,'　　/::::::::::::::::Ｙ::::::::ヽ/　　 ／ ∧｀ヽﾉレ' ハ」　　| 　よ. 　 の
　　　ｒ/|　 'Ｊ::::::::::::::::/:::::::::::/　　,ｲ_／|:::::ヾ]_）ﾊ 　 /　　 | 　 ：　　.は
　　　く∧__ｊ:::::::::::::::::;'::::::::::::(|　 _ﾉ:::::::::,':::::::::/」　|／ 　 　 | 　 ：
　　　　 |:::::::::::::::::::::::::::::::::::::::し'::::::::::::/:;'::／´　　　　　　 　'、 ？
　　　　 ヽ:;＿＿＿_、:::::::::::::::::::::::::::/::/´　　　　　 　　 　 　 ＼
　　　　　　　　　　　 ￣｀ヽ:;＿＿__／　　　　　　　　　　　　　　￣￣￣

Zermelo began to work on the problems of set theory under Hilbert's influence and in 1902 published his first work concerning the addition of transfinite cardinals. By that time he had also discovered the so-called Russell paradox. In 1904, he succeeded in taking the first step suggested by Hilbert towards the continuum hypothesis when he proved the well-ordering theorem (every set can be well ordered). This result brought fame to Zermelo, who was appointed Professor in Göttingen, in 1905. His proof of the well-ordering theorem, based on the powerset axiom and the axiom of choice, was not accepted by all mathematicians, mostly because the axiom of choice was a paradigm of non-constructive mathematics. In 1908, Zermelo succeeded in producing an improved proof making use of Dedekind's notion of the "chain" of a set, which became more widely-accepted; this was mainly because that same year he also offered an axiomatization of set theory.

　 　　　　　　　　　　　__＿＿ ＿
　　 /ヽ./＼　 ,.　''"´　 　　　｀ヽ｀ヽｰ ､ |｀ヽ.r-ｧ､
　　 ﾄ､　＼, '´　　　 ｒ─vｰト-‐'　 ﾉ　　`! 　 |/　 L_
　　/　＼ｱ´「`ｰｧ'こ＞-‐'ｰ`' ｰ＜_]‐ｧ-'､_／　　´　|　ヽ　 ＿　　　　　　　　　　 　＿
　く.,_＿/ ｀ヽ＞'"´　　　　　　　　｀ﾞ＜_/　＼,∠,,＿」　`7　|＿|　　 -─ｧ ＿|＿ノ　／
　　　「 `rｧ'´　 /　 　 i　,　　 /|　　　 ﾊ＼　 ﾊ､|　　　／|ヽ | |　　　　 /　 　 |　_｀) ￣｀ヽ
　　 く_,7´ ,'　　!/ｰ-r'i_,ﾊ＿/　ト-‐ｧ'　|.　 Yヽ､]　　　　 |　ﾉ ﾚ　つ　 !_ 　 　 !　　　 こ)ノ
　　　　!　 | 　 ,| r-r-ﾃ'r　　 　ｧ!ﾃーrｧ! 　 |　 |
　　　　｀ヽ|　, ﾍ !　'､__ｿ　 　　　'､__,ｿﾊ!＿ﾊ　 !　　人＿,.
　　　　　 └|　7,.｀　　　　 　　　　"´,,!　| !ｧ-'､|　　　　 （_
　　　　　 　,ﾊ ,ゝ、 　　i7´￣｀ヽ.　 ,.ﾍ　!/ 　/／｀）　　　(_
　　　　　 ./　 !　/｀＞ ､ .,＿__.ノ.イ./!　/ 　/´　,∠.._　y'⌒
　　　　 　!　　ﾚ'　／!　,rくヽ!／|/,ｲ 」ノ　 ､ _　´_＿ノ
　　　　　[ゝ.メイ´　 | / 　八　/ /(´　_,.､　　　　｀ヽ.　
　　　　 く__ン-ﾍ. 　rくr､/ﾑﾊ7 /! |ア´､_,＞ｰｧ'i`ｰ‐'
　　　　　　 |　 ,ハ､!7/ '|　|　,! |,ﾍ.＼:::::::::,rイ /!
　　　　　　 ヽ､.／ /,'　 [＞八＜]ヘ ｀￣´　 / |
　　　　　　　 /＿く7　　!　〈__,ﾝ 　　｀i＞ｰrﾍ.　!
　　　　　　 く_,||iii|/　　 ! 　 |.　　　　 !　!　|　ﾚ'
　　　　　　　　||!K　/　,'　　|　　 i 　 ∨|__,|
　　　　　　　　`ｰ'＼_,/､＿,ﾊ､＿|＿,.ｲ/
　　　　　　　　 　　|ーｧ'´ ￣￣ ｀ヽr-┤
　　　　　　　　　 　.し'　　　　　　 　ヽ._j

κ¹ = κ.

The second result was proved by Cantor in 1878, but only became intuitively apparent in 1890, when Giuseppe Peano introduced the space-filling curves, curved lines that twist and turn enough to fill the whole of any square, or cube, or hypercube, or finite-dimensional space. These curves can be used to define a one-to-one correspondence between the points in the side of a square and those in the square.

Cartesian product of A and B, denoted A × B, is the set whose members are all possible ordered pairs (a,b) where a is a member of A and b is a member of B. The cartesian product of {1, 2} and {red, white} is {(1, red), (1, white), (2, red), (2, white)}.

An active area of research is the univalent foundations arising from homotopy type theory. Here, sets may be defined as classes of types, with universal properties of sets arising from higher inductive types.

 Clearly we can do this: We start at the first box, choose an item; go to the second box, choose an item; and so on. The number of boxes is finite, so eventually our choice procedure comes to an end. The result is an explicit choice function: a function that takes the first box to the first element we chose, the second box to the second element we chose, and so on. (A formal proof for all finite sets would use the principle of mathematical induction to prove "for every natural number k, every family of k nonempty sets has a choice function.")

　　　　　　　　　　　　　　　　　　　　　r/:./.:.:.:.:.:.:.:.:.:.:.:.:.:.:..:.:ヽ､　　　　__　　　／:::::::::::::::::::::::::::::::::!7
　　　　　　　　　　　　　　　　　　　 　 ri:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:::｀/7 ::__:: _｀'＜:::::::::::::::::::::::::::::::/:::/ !
　　　　　　　　　「|　　　　　　　　　　 「i:.:i:.:.:.:ヽ､.:.:.:.:.:;.:-‐｀ｰ- / / /_//_/ ::::::::::::;::::::::::::::::::::::::::::!_/
　　　　　　　　　| |　[][]　　,. -─- ､,) i:..:.:.:.:.:.:.:.＞'´:::::::::::::::: / ,､｀ヽ. ::::::: ｀"''＜::::::::::::::::::::::::l:::::!」
　　　　　　　　　| .二ﾆl ／　　　　　　ヽ|:.!.:.:.:／:::::::::::::::::::::: /_/　｀'ｰ' ::::::::::::::::::::::ヽ,,.. -──- ､
　　　　　　　　　| |　　/　　　　 ┐　　　ヽ.'"::::::::;'::::::::;::::::::::::::::::::;:::::::::::::::::::::::::::::: /　　 　 ┐
　「| [][]　__[][]　|_| 　 !　　：　絶　深　そ　', :::::::!::::::/;::::::::;:::::::::::ﾊ::::::::::::::::::::::ヽ. i　い　喜　激
　|└┐　| |. _________/　　 ：　望　い　の　 i ::!:::i::::/ i:::::::::!:::::::/　i::::::i::::::::::!:::::::: !　ら.　び　.し
　|_|￣ ￣￣　 　┐ ｀ヽ.　：└　　　　.か　 ＞　ﾚ''､」_:::::/!:::/ 　 i::::/i::::::::/i:::::::: |　な └　　い
/　：　だ　わ　平　そ　|.　 　も　　　 わ　 ! ::レ'7'´i7＞'､ﾚ' 　　ﾚ' ,_|::::/_ |:::::::: !　い　は
'　 ：.　っ　た　穏　ん　|.　 　な　　　 り　 | 「__! !　 !┘.!｀　　　 ,ｧ'r-=ﾆ」､!::::::/ !　：
.　 ：　た　し　 な　な　 !　　 い.　　　　　/ :::|__,!'`　`'ｰ'　 　　　 　!-''´ .! | |/:::: ',. ：
 　　　 の .の　生　　　 ＞　　　　_____,／ ::::ﾉ:::::! "" 　　　, 　 　　 '､__ンノ ﾄ--i ヽ.,__　　______ノ
　　　 に .目　活　　　 i　　　　　 ｀ヽ. ::::／:::::::人　 　　 ､_　　　 　　　 ,,,, ,:'!二'i_ノ::: |／ :::|::::!
　　　　　 標.└　 　 　,'　　　　　　 ┐Y:::::::::/::::::/＼　 　i/￣｀ヽ.　　　 //::::::::ﾊ:::::::/::::ﾊ:::::|::::!
　　　　　　　　こ. 　　/　人　の　植　 i :::::::i:::::/!.:.:.:i｀ヽ, ヽ､___ノ　 ,,.イ:/::::::::/::::!::: __/_ !:::::|::::|
　　　　 　　 　そ　／　　生　よ　物　 | ::i:::|イ7´￣7:.:.:.i｀' ｰｧ ''7´:.:.:.|;'::::::::/￣｀ / 7 ､_」: _!::::!
　　　　　　____,..イ　　 　 を.　う.　の　 | ﾊ:::! ! !.:.:.:/:.:.::.:.:ﾄ　　 _/:.:.:.:.:.:!::::::/ i　　/ /　/_//_/ ::!
￣￣￣￣　　　 !　　　　 ：　 な　心　 | ' Vr/:.:.:./:.:.:.:.:.:.:!-- ､/:.:.:.:.:.:.:ﾚ':.:.:.:.i　/ ,､｀ヽ. へ.,_/i/
　　　　　　　　　ヽ､　　　 ：　　 └ 　 ノ､__/:.:.:r/へ:.:.:.:.:.!____/:.:.:.:.:.:.:.:.|:.:.:.:.:. /_/　｀'ｰ'　 　ﾚへ

Every vector space has a basis.[11]

There exists a model of ZF¬C in which every set in Rn is measurable. Thus it is possible to exclude counterintuitive results like the Banach–Tarski paradox which are provable in ZFC. Furthermore, this is possible whilst assuming the Axiom of dependent choice, which is weaker than AC but sufficient to develop most of real analysis.

　 　　　　　　　 　 　　 　 ／|　　　 ﾄ、
　　　　　　 　　 　 　ﾄ､./　/／|　/　|
　　　　 　　 　 　 　 |　|ア"´|＼/　 ,!／|.　　　　イ┬┬┬
　　　　 　　 　 　＿_|∠::::::::::|::::::＼/ ／　 　 　 ┼┼┼┼　ｰ┼-､＼. 　 　 ┼　
　　　　　　　　　_lｒ ＝=‐-::､:|:;;_:::::::＼｀ア　　　 ┴┴┴┴　　 |　 |　　ｰ‐､　 | ￣ｿ
　　　　　 .,　'"´　|::[l::[l::r--､::ｒ､::｀"7ｰ‐'ｧ　　　 ﾉ　ヽ ヽ ヽ 　 ﾉ ､ﾉ　 　 _ノ　ﾉ ､＿
　 　 　／ .／　 　7｀ヽ‐..､__::::|」:::::/:::::::/ヽ、
　　　/　 /　 　 / |:::::::::::::;!　 ￣￣ヾ￣　　 ':,　　　 　ー┼─　　
　 　 '､　.!　 　/|、|:::::::::::/|　　/|　　 |:::!　　　',.　　　　l二|二l　　ｌ ＿_
　 　 　ヽ|　 ,:'|ｲlﾊﾍ::::::∧-‐ｧ''7 　 ,ﾊ::| 　 　 |　　　 ｰ三l三l‐ 　|　　ﾉ
　　　　　|／7　ｊり　＼| ｧﾃ‐ｒ'､　イ::::::ﾊ　　　|　　　　　､」 　 　 .ﾚ ､＿
　　　 　　.|:/"　 ｒ　　　　|ﾉ　 ﾘY/:::::/　|.　　,'　　　　　　　　　　　　　　　　　　　　　　　　　　 ┌‐-､
　　　　　 八　　　 　 　　ゝ‐ﾟ'ノ/::::/ｿ / 　 / 　 　 |.　　　　ｰ┼‐　＿|＿_|__ 　 /　　ｰ┼-､＼　　 　}
　　　　 /::::/＼　`　ｰ　　 ιﾞﾞ/::::/´|/　　 {　　　　|　　　　 ‐┼‐　　 |　､」　　/┐　　 .| 　|　　　r‐'´
　　　　,'::::;'　　 |ヽ､＿__　 , イ'::::/　/|　　　'､ 　 　 '､__.ノ 　（_ﾉ｀ヽ　　'､＿　 /　（__.ﾉ　ﾉ ､ﾉ　　　o
　　 　 |:::::| 　 , '"/{ｱr'」／ /|:::;:'＼'　'､ 　 　 ヽ.
　　　　'､:::!　./|:::r:'|　|/ 　ｒノﾚ'ｒ':::/｀ヽ ＼　　　 ':,
　　　　 ヽ| ｒ' /:::{l::/rﾍ、　　　ノ ﾉ:::／＼,ﾊ　　　 |
　　　　　 　Y::::::ヽム ﾉ ＼　r' r'::::/ 　 　 Y　　　ﾉ

Every retraction is an epimorphism, and every section is a monomorphism. Furthermore, the following three statements are equivalent:

Epimorphism: Dually, f : X → Y is called an epimorphism if g1 ∘ f = g2 ∘ f implies g1 = g2 for all morphisms g1, g2 : Y → Z. It is also called an epi or an epic

　　　　　　　　　　　　　　　　　　　　　r/:./.:.:.:.:.:.:.:.:.:.:.:.:.:.:..:.:ヽ､　　　　__　　　／:::::::::::::::::::::::::::::::::!7
　　　　　　　　　　　　　　　　　　　 　 ri:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:::｀/7 ::__:: _｀'＜:::::::::::::::::::::::::::::::/:::/ !
　　　　　　　　　「|　　　　　　　　　　 「i:.:i:.:.:.:ヽ､.:.:.:.:.:;.:-‐｀ｰ- / / /_//_/ ::::::::::::;::::::::::::::::::::::::::::!_/
　　　　　　　　　| |　[][]　　,. -─- ､,) i:..:.:.:.:.:.:.:.＞'´:::::::::::::::: / ,､｀ヽ. ::::::: ｀"''＜::::::::::::::::::::::::l:::::!」
　　　　　　　　　| .二ﾆl ／　　　　　　ヽ|:.!.:.:.:／:::::::::::::::::::::: /_/　｀'ｰ' ::::::::::::::::::::::ヽ,,.. -──- ､
　　　　　　　　　| |　　/　　　　 ┐　　　ヽ.'"::::::::;'::::::::;::::::::::::::::::::;:::::::::::::::::::::::::::::: /　　 　 ┐
　「| [][]　__[][]　|_| 　 !　　：　絶　深　そ　', :::::::!::::::/;::::::::;:::::::::::ﾊ::::::::::::::::::::::ヽ. i　い　喜　激
　|└┐　| |. _________/　　 ：　望　い　の　 i ::!:::i::::/ i:::::::::!:::::::/　i::::::i::::::::::!:::::::: !　ら.　び　.し
　|_|￣ ￣￣　 　┐ ｀ヽ.　：└　　　　.か　 ＞　ﾚ''､」_:::::/!:::/ 　 i::::/i::::::::/i:::::::: |　な └　　い
/　：　だ　わ　平　そ　|.　 　も　　　 わ　 ! ::レ'7'´i7＞'､ﾚ' 　　ﾚ' ,_|::::/_ |:::::::: !　い　は
'　 ：.　っ　た　穏　ん　|.　 　な　　　 り　 | 「__! !　 !┘.!｀　　　 ,ｧ'r-=ﾆ」､!::::::/ !　：
.　 ：　た　し　 な　な　 !　　 い.　　　　　/ :::|__,!'`　`'ｰ'　 　　　 　!-''´ .! | |/:::: ',. ：
 　　　 の .の　生　　　 ＞　　　　_____,／ ::::ﾉ:::::! "" 　　　, 　 　　 '､__ンノ ﾄ--i ヽ.,__　　______ノ
　　　 に .目　活　　　 i　　　　　 ｀ヽ. ::::／:::::::人　 　　 ､_　　　 　　　 ,,,, ,:'!二'i_ノ::: |／ :::|::::!
　　　　　 標.└　 　 　,'　　　　　　 ┐Y:::::::::/::::::/＼　 　i/￣｀ヽ.　　　 //::::::::ﾊ:::::::/::::ﾊ:::::|::::!
　　　　　　　　こ. 　　/　人　の　植　 i :::::::i:::::/!.:.:.:i｀ヽ, ヽ､___ノ　 ,,.イ:/::::::::/::::!::: __/_ !:::::|::::|
　　　　 　　 　そ　／　　生　よ　物　 | ::i:::|イ7´￣7:.:.:.i｀' ｰｧ ''7´:.:.:.|;'::::::::/￣｀ / 7 ､_」: _!::::!
　　　　　　____,..イ　　 　 を.　う.　の　 | ﾊ:::! ! !.:.:.:/:.:.::.:.:ﾄ　　 _/:.:.:.:.:.:!::::::/ i　　/ /　/_//_/ ::!
￣￣￣￣　　　 !　　　　 ：　 な　心　 | ' Vr/:.:.:./:.:.:.:.:.:.:!-- ､/:.:.:.:.:.:.:ﾚ':.:.:.:.i　/ ,､｀ヽ. へ.,_/i/
　　　　　　　　　ヽ､　　　 ：　　 └ 　 ノ､__/:.:.:r/へ:.:.:.:.:.!____/:.:.:.:.:.:.:.:.|:.:.:.:.:. /_/　｀'ｰ'　 　ﾚへ

　 　　　　　　　 　 　　 　 ／|　　　 ﾄ、
　　　　　　 　　 　 　ﾄ､./　/／|　/　|
　　　　 　　 　 　 　 |　|ア"´|＼/　 ,!／|.　　　　イ┬┬┬
　　　　 　　 　 　＿_|∠::::::::::|::::::＼/ ／　 　 　 ┼┼┼┼　ｰ┼-､＼. 　 　 ┼　
　　　　　　　　　_lｒ ＝=‐-::､:|:;;_:::::::＼｀ア　　　 ┴┴┴┴　　 |　 |　　ｰ‐､　 | ￣ｿ
　　　　　 .,　'"´　|::[l::[l::r--､::ｒ､::｀"7ｰ‐'ｧ　　　 ﾉ　ヽ ヽ ヽ 　 ﾉ ､ﾉ　 　 _ノ　ﾉ ､＿
　 　 　／ .／　 　7｀ヽ‐..､__::::|」:::::/:::::::/ヽ、
　　　/　 /　 　 / |:::::::::::::;!　 ￣￣ヾ￣　　 ':,　　　 　ー┼─　　
　 　 '､　.!　 　/|、|:::::::::::/|　　/|　　 |:::!　　　',.　　　　l二|二l　　ｌ ＿_
　 　 　ヽ|　 ,:'|ｲlﾊﾍ::::::∧-‐ｧ''7 　 ,ﾊ::| 　 　 |　　　 ｰ三l三l‐ 　|　　ﾉ
　　　　　|／7　ｊり　＼| ｧﾃ‐ｒ'､　イ::::::ﾊ　　　|　　　　　､」 　 　 .ﾚ ､＿
　　　 　　.|:/"　 ｒ　　　　|ﾉ　 ﾘY/:::::/　|.　　,'　　　　　　　　　　　　　　　　　　　　　　　　　　 ┌‐-､
　　　　　 八　　　 　 　　ゝ‐ﾟ'ノ/::::/ｿ / 　 / 　 　 |.　　　　ｰ┼‐　＿|＿_|__ 　 /　　ｰ┼-､＼　　 　}
　　　　 /::::/＼　`　ｰ　　 ιﾞﾞ/::::/´|/　　 {　　　　|　　　　 ‐┼‐　　 |　､」　　/┐　　 .| 　|　　　r‐'´
　　　　,'::::;'　　 |ヽ､＿__　 , イ'::::/　/|　　　'､ 　 　 '､__.ノ 　（_ﾉ｀ヽ　　'､＿　 /　（__.ﾉ　ﾉ ､ﾉ　　　o
　　 　 |:::::| 　 , '"/{ｱr'」／ /|:::;:'＼'　'､ 　 　 ヽ.
　　　　'､:::!　./|:::r:'|　|/ 　ｒノﾚ'ｒ':::/｀ヽ ＼　　　 ':,
　　　　 ヽ| ｒ' /:::{l::/rﾍ、　　　ノ ﾉ:::／＼,ﾊ　　　 |
　　　　　 　Y::::::ヽム ﾉ ＼　r' r'::::/ 　 　 Y　　　ﾉ

　　　　　　　 ヽ　　　　　　　　　　　　　　　　　　　　　　　／
　　駄　弱　　 |　　　　　　　　　　　　　　　　　　　　　　/　 い 　バ 　貴
　　目　気　　 |　　　 　　 　 　 　 　 ﾄ 、　 ,　　　 　 　 ;　　る 　バ 　女
　　で.　は　　 ;　　　　　　 　 　＿＿|　）／）　　　　 　 !　　も 　 ァ 　の
　　す　　　　 /　　　　 ,.　 ''"´　　　　　｀ｒＯｰＯ　　　　|　　ん 　な. 　よ
　　よ.　　　, '　　　,.　'´　　　　　　　　　 （～-～） 　　 |　　で 　ん 　 う
　　　　　／ 　　／　　／　,　 　 |　＿ヽ、 ｀∨￣ヽ　　 |　　す 　て.　 な
──-､（.　 　, '　　　/　 /|　 　∧__」ｪ､ﾊ　　| 　 　 ':,　 '､　.か
　　　　 ｀　　/ 　　　;' 7"´ '､　 ; '´ hl ﾊY!.　 |　　　　';　　ヽ.,＿　　　　　_ノ
　　　　　　　'　 　 　|/ ｧ=,、 ＼|　 弋ｚｿﾑ二lト､　　　|　　　　　ﾉノ￣￣
　　　　 　　 | { 　 　;' ｲ hlﾊ　 　 　 　 ｘｘ| 　 |ｒﾉ　　　;　　　　 ´
　　　　　　　'､　、　|lﾊ ､ゝﾟ'　' 　　 　　　{二」l　　　 /
　　　　　　　　＼|＼,ﾍ|ｘ 　　　ｒ= ､　　　| ／）　　 /{
　　　　　　　　　　　| 人　　 　 ､　_）　　（／ |　　;'　 ､
　　　　 　 　 　 　 /;　　|＞.､,　　　　　イ|　 ,ﾊ　 {　　 ＼
　　　　　　　　　 /.／） ;　　 /ヾァ'"´　,ト／ .ﾉ､＿、 　 ､｀'　､
　　　　　　　　 .／／ l/　　/ _／ｒj　／/ 　（|.　 ／ ヽ、 ﾊ　　ヽ、
　　　　　　　.／ -‐''つ　 r/´　 /.／　 { o o ） /　　　∨　|　　　 ':,
　　　　 r-ｧ' 　 -‐ｧ'ﾉ|.／|l　 ／ム　　 .ゝ-イ /　 , -‐┴-.!､　　　 } _
　　　 ./∨ 　　 ﾝ´､l/ 　 |レ/:::::::;ｌ＼　 |　/ ,r／:::::;: -─-､|　 　 /./｀ｧ-､
　　　/＼:＼ イ::::::l:|＼／ 　{__:／ 　 ＼ﾚ' ､l/::::／　　　 　 |　 , 'つし' /　}
　　./　　 ＼:＼::::::||､/　　 /::::|　 　　　　　/::::/　 　 　 　 //´{　ヽ ヽしｒ'|
　 r;　　　 　 ＼:＼l|:{　　 /:::::;'　　　　　　 ;::::::|　　 　 　 /{r|::::ﾑ　　　　ノ|
　 |　　　　　　　＼:」'､　 ;':::::;' 　　　　 　 ,.|::::::'､ 　　　／ |:::|::::{　｀　,イ::|::|

　 　　　　　　　 r‐-　､　　　　　　　　　　　　　　　　　　　　／
　　　　　　　　　､.　 _|＿__／￣｀ヽ　　　　　　　　　　　　/　　　　　 い
　　　',　　/｀ヽ＿,X´ |-､/　 ￣｀ヽﾉ　　　　　　　 　　 　 |　　　か　 い
　　 　 　 | 　　_ｒ‐＜￣＞ー-､.イ__ ＼　　　　　　　　＿_|.　　　し　 の
　　　　',　　/「,＞''"´／｀ヽｰ-く⌒l_｀ヽヽ　　　　　／　　 ＼ 　 ら
　＼　　',　lｱ´　　/./　　　　　　＼-'ヽ.　ﾊ　　　./　　　私 　　 ？
　.　 ＼　 /　　　ﾒ､|　　　,ﾊ　　　　ヽ/､　 |　　　|　　　 の 　 ト-----
　　　　∠!　 　./rﾄ八 　l/ -|‐ ﾊ　　|,ﾊ/　|　 　 |　　 　土 　 |
　‐ ─　　､ 　/|　 j_ｒ!＼| -ｒｧﾃ､|　　ﾄ､|　/　　　|　　 　下 　 |
　　　　／　＼.ﾊ"　　,　 　 j__ｒｿ,　 /.） Yl　　　＜. 見.　座.　 |
　／／　　　./ 人　　､＿　　 "/／|　　八　　　 |　た.　を 　 |
　　 　 / 　 ,' .|　ｒ|＞､＿_ ,,. イ /ヽ|　ﾊ 　ヽ　　 |　時　 　 　 |　 　＿＿＿＿
　　　/　 　.|　∨/::::::/ |__,. イﾚ'　r' ＼ |　　）　　､　　　　　　　　´　　　　　　 ｀ヽ
　　　　　.r-'∨.,':::i::::|_/＼　　ｒソ/:::::::::Y　∧　　　` ｰ---‐／　　　　　　最
　　　　　 ∨ 　|::/::::（/ﾑ）ヽｒﾉ:::i::::::::::::::∨　 ＼　　/Ｌ　　/　 　 　 謝.　 終
　　　　　　|　r/､!:::::::く人）:::::::::/:::::::::::::::::| 　 　 ヽ/＿/　 | 　貴 　 る 　 的
　　　　　 ,ﾊ /ヽ,ﾍ､::::::::l:::::::::::::ヽ_r- ､__ノ ヽ、　く_」　　　 | 　方 　 事　 に
　　　 　（　./　　ヽ,ﾊｰ::::::::::::::::イ| ￣　|　　　',　　 |. 　 　 | 　達 　 に
　　　 　 ﾉ7　　//rく::::r-､:::::::::::::;| _　　|　　　 |　 / 　 　　| 　な 　 .な
　　　　 |./　 ./＿,.へ.　 ,.ﾍ.￣ /´　　 ,ﾊ_　　 }￣｀Y´{　　| 　の　　る
　　　　 ,'　　/::::::::::::::::Ｙ::::::::ヽ/　　 ／ ∧｀ヽﾉレ' ハ」　　| 　よ. 　 の
　　　ｒ/|　 'Ｊ::::::::::::::::/:::::::::::/　　,ｲ_／|:::::ヾ]_）ﾊ 　 /　　 | 　 ：　　.は
　　　く∧__ｊ:::::::::::::::::;'::::::::::::(|　 _ﾉ:::::::::,':::::::::/」　|／ 　 　 | 　 ：
　　　　 |:::::::::::::::::::::::::::::::::::::::し'::::::::::::/:;'::／´　　　　　　 　'、 ？
　　　　 ヽ:;＿＿＿_、:::::::::::::::::::::::::::/::/´　　　　　 　　 　 　 ＼
　　　　　　　　　　　 ￣｀ヽ:;＿＿__／　　　　　　　　　　　　　　￣￣￣

　 　　　　　　　　　　　__＿＿ ＿
　　 /ヽ./＼　 ,.　''"´　 　　　｀ヽ｀ヽｰ ､ |｀ヽ.r-ｧ､
　　 ﾄ､　＼, '´　　　 ｒ─vｰト-‐'　 ﾉ　　`! 　 |/　 L_
　　/　＼ｱ´「`ｰｧ'こ＞-‐'ｰ`' ｰ＜_]‐ｧ-'､_／　　´　|　ヽ　 ＿　　　　　　　　　　 　＿
　く.,_＿/ ｀ヽ＞'"´　　　　　　　　｀ﾞ＜_/　＼,∠,,＿」　`7　|＿|　　 -─ｧ ＿|＿ノ　／
　　　「 `rｧ'´　 /　 　 i　,　　 /|　　　 ﾊ＼　 ﾊ､|　　　／|ヽ | |　　　　 /　 　 |　_｀) ￣｀ヽ
　　 く_,7´ ,'　　!/ｰ-r'i_,ﾊ＿/　ト-‐ｧ'　|.　 Yヽ､]　　　　 |　ﾉ ﾚ　つ　 !_ 　 　 !　　　 こ)ノ
　　　　!　 | 　 ,| r-r-ﾃ'r　　 　ｧ!ﾃーrｧ! 　 |　 |
　　　　｀ヽ|　, ﾍ !　'､__ｿ　 　　　'､__,ｿﾊ!＿ﾊ　 !　　人＿,.
　　　　　 └|　7,.｀　　　　 　　　　"´,,!　| !ｧ-'､|　　　　 （_
　　　　　 　,ﾊ ,ゝ、 　　i7´￣｀ヽ.　 ,.ﾍ　!/ 　/／｀）　　　(_
　　　　　 ./　 !　/｀＞ ､ .,＿__.ノ.イ./!　/ 　/´　,∠.._　y'⌒
　　　　 　!　　ﾚ'　／!　,rくヽ!／|/,ｲ 」ノ　 ､ _　´_＿ノ
　　　　　[ゝ.メイ´　 | / 　八　/ /(´　_,.､　　　　｀ヽ.　
　　　　 く__ン-ﾍ. 　rくr､/ﾑﾊ7 /! |ア´､_,＞ｰｧ'i`ｰ‐'
　　　　　　 |　 ,ハ､!7/ '|　|　,! |,ﾍ.＼:::::::::,rイ /!
　　　　　　 ヽ､.／ /,'　 [＞八＜]ヘ ｀￣´　 / |
　　　　　　　 /＿く7　　!　〈__,ﾝ 　　｀i＞ｰrﾍ.　!
　　　　　　 く_,||iii|/　　 ! 　 |.　　　　 !　!　|　ﾚ'
　　　　　　　　||!K　/　,'　　|　　 i 　 ∨|__,|
　　　　　　　　`ｰ'＼_,/､＿,ﾊ､＿|＿,.ｲ/
　　　　　　　　 　　|ーｧ'´ ￣￣ ｀ヽr-┤
　　　　　　　　　 　.し'　　　　　　 　ヽ._j

　　　　　　　　　　　　　　 ,.-'"二ﾌ
　　 ______　　　　　　　　 / ／／´
　く__ヽ､__｀ヽ.　　　　　　|　| /
　　　｀＼ ヽ､!　　　 ____,/ / !_
　　　　　｀ヽ ヽ､'' ´　 　i｡i.／ ｀ヽ.　○
　　　　　 　,｀>!｡/　　　｀´ 　 　　 ヽ.
　　O　　 /　　 　　i　　､_ヽ.　､　 　 ',　゜　　
　　　　　,' 　 /__,! ハ　ﾊ,.ニ!､ iヽ! 　 !　
　　　　　i　　.i. ,!-!､. V ´ﾄ　! }ﾊ　!､ 　!
　　　　 ｲ　i　ﾊi ﾄ_!.　　　'ｰ'ﾞ。OVi　　',　　o　
　　　　　レﾍ 7,,　_,,... -─ ､ ""i　|　i 　',　
　　　O　。　!人　|´ 　　　　|　人/　ﾊ　 ',
　　　　　　 / .ﾍ｀ヽ､_____,,..ノ／/ﾄｰ-'､! 　',　。
　　　　　　 ﾚ´ i ヽ､ ／i／/／_」::::::/:::ヽ.　!　
　　　　　　　　 !　.!／ﾍ,.-'─､､;;;;____:::::::ヽ. |
　　　　　　　 ./　/7:Y/ ,　　　l |:oo::::::｀ヽ::i |
　　　　　　　/／::::i:〈iゝi､_!__r//:::::::::::::::::ﾝ ﾉ
　　　　　　／::::::::/:::::Y:::::::::ゝ'─r--‐-i´ｲ