]> gitweb.pimeys.fr Git - poly_gics_20-100.git/commitdiff
Ajout des images master
authorVincent Le Gallic <legallic@crans.org>
Thu, 11 Sep 2014 02:50:17 +0000 (04:50 +0200)
committerVincent Le Gallic <legallic@crans.org>
Thu, 11 Sep 2014 02:50:17 +0000 (04:50 +0200)
Pairing_natural.svg [new file with mode: 0644]
big_gics.png [new file with mode: 0644]
bijection.png [new file with mode: 0644]
bijection_N_N2.png [new file with mode: 0644]
cantor_bernstein.png [new file with mode: 0644]
injection.png [new file with mode: 0644]
surjection.png [new file with mode: 0644]
surjinjbij.png [new file with mode: 0644]

diff --git a/Pairing_natural.svg b/Pairing_natural.svg
new file mode 100644 (file)
index 0000000..596cbce
--- /dev/null
@@ -0,0 +1,85 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>\r
+<!-- Created with Inkscape (http://www.inkscape.org/) -->\r
+<svg xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" width="343pt" height="340pt" id="svg2160" sodipodi:version="0.32" inkscape:version="0.45.1" sodipodi:docbase="C:\Users\Trenton Cronholm\Desktop\Inkscape" sodipodi:docname="natural.svg" inkscape:output_extension="org.inkscape.output.svg.inkscape">\r
+  <defs id="defs2162"/>\r
+  <sodipodi:namedview pagecolor="#ffffff" bordercolor="#666666" borderopacity="1.0" inkscape:pageopacity="0.0" inkscape:pageshadow="2" inkscape:zoom="1.2235294" inkscape:cx="214.375" inkscape:cy="213.64423" inkscape:document-units="pt" inkscape:current-layer="layer1" id="namedview2164" inkscape:window-width="1024" inkscape:window-height="718" inkscape:window-x="-8" inkscape:window-y="-8"/>\r
+  <metadata id="metadata2166">\r
+    <rdf:RDF>\r
+      <cc:Work rdf:about="">\r
+        <dc:format>image/svg+xml</dc:format>\r
+        <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>\r
+      </cc:Work>\r
+    </rdf:RDF>\r
+  </metadata>\r
+  <g inkscape:label="Layer 1" inkscape:groupmode="layer" id="layer1">\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 1.815; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 51.443282,0.82416635 L 51.443282,375.03755" id="path2171"/>\r
+    <path id="path2174" d="M 429.23244,374.01877 L 50.298555,374.01877" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 1.85; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 383.888, 352.567)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3165" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3171" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 383.888, 236.576)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 383.888, 120.584)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3177" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3183" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 383.888, 4.59319)"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3233" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 153.058, 352.567)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 153.058, 236.576)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3239" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3245" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 153.058, 120.584)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 153.058, 4.59319)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3251" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3301" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 268.473, 352.567)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 268.473, 236.576)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3307" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3313" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 268.473, 120.584)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 268.473, 4.59319)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3319" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 37.6434, 352.567)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3369" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3375" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 37.6434, 236.576)"/>\r
+    <path transform="matrix(0.104449, 0, 0, 0.0902558, 37.6434, 120.584)" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" sodipodi:ry="60.889423" sodipodi:rx="49.85577" sodipodi:cy="199.01442" sodipodi:cx="166.73077" id="path3381" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" sodipodi:type="arc"/>\r
+    <path sodipodi:type="arc" style="opacity: 1; fill: rgb(0, 0, 128); fill-opacity: 1; fill-rule: nonzero; stroke: none; stroke-width: 2.94417; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-dashoffset: 0pt; stroke-opacity: 1;" id="path3387" sodipodi:cx="166.73077" sodipodi:cy="199.01442" sodipodi:rx="49.85577" sodipodi:ry="60.889423" d="M 216.58654 199.01442 A 49.85577 60.889423 0 1 1  116.875,199.01442 A 49.85577 60.889423 0 1 1  216.58654 199.01442 z" transform="matrix(0.104449, 0, 0, 0.0902558, 37.6434, 4.59319)"/>\r
+    <text xml:space="preserve" style="font-size: 28px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="27.5765" y="264.433" id="text2374" sodipodi:linespacing="125%"><tspan sodipodi:role="line" id="tspan2376" x="27.5765" y="264.433">1</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 28px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="29.0577" y="148.645" id="text2378" sodipodi:linespacing="125%"><tspan sodipodi:role="line" id="tspan2380" x="29.0577" y="148.645">2</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 28px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="30.5548" y="31.875" id="text2382" sodipodi:linespacing="125%"><tspan sodipodi:role="line" id="tspan2384" x="30.5548" y="31.875">3</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 27.7873px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="27.8187" y="377.981" id="text2390" sodipodi:linespacing="125%" transform="scale(0.992403, 1.00766)"><tspan sodipodi:role="line" id="tspan2392" x="27.8187" y="377.981">0</tspan></text>\r
+    <text sodipodi:linespacing="125%" id="text2394" y="401.208" x="165.87" style="font-size: 27.7873px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" xml:space="preserve" transform="scale(0.992403, 1.00766)"><tspan y="401.208" x="165.87" id="tspan2396" sodipodi:role="line">1</tspan></text>\r
+    <text sodipodi:linespacing="125%" id="text2398" y="402.019" x="280.8" style="font-size: 27.7873px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" xml:space="preserve" transform="scale(0.992403, 1.00766)"><tspan y="402.019" x="280.8" id="tspan2400" sodipodi:role="line">2</tspan></text>\r
+    <text sodipodi:linespacing="125%" id="text2402" y="401.045" x="399.949" style="font-size: 27.7873px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" xml:space="preserve" transform="scale(0.992403, 1.00766)"><tspan y="401.045" x="399.949" id="tspan2404" sodipodi:role="line">3</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.9203px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="175.258" y="366.696" id="text3396" sodipodi:linespacing="125%" transform="scale(1.00355, 0.996458)"><tspan sodipodi:role="line" id="tspan3398" x="175.258" y="366.696">1</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.4796px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="59.23" y="263.248" id="text3400" sodipodi:linespacing="125%" transform="scale(1.06359, 0.94021)"><tspan sodipodi:role="line" id="tspan3402" x="59.23" y="263.248">2</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.9203px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="291.29" y="367.149" id="text3404" sodipodi:linespacing="125%" transform="scale(1.00355, 0.996458)"><tspan sodipodi:role="line" id="tspan3406" x="291.29" y="367.149">3</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.4796px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="164.926" y="263.478" id="text3408" sodipodi:linespacing="125%" transform="scale(1.06359, 0.94021)"><tspan sodipodi:role="line" id="tspan3410" x="164.926" y="263.478">4</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 24.5051px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="63.5989" y="132.951" id="text3412" sodipodi:linespacing="125%" transform="scale(0.991599, 1.00847)"><tspan sodipodi:role="line" id="tspan3414" x="63.5989" y="132.951">5</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.9203px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="404.937" y="367.236" id="text3416" sodipodi:linespacing="125%" transform="scale(1.00355, 0.996458)"><tspan sodipodi:role="line" id="tspan3418" x="404.937" y="367.236">6</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.4796px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="274.688" y="264.347" id="text3420" sodipodi:linespacing="125%" transform="scale(1.06359, 0.94021)"><tspan sodipodi:role="line" id="tspan3422" x="274.688" y="264.347">7</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 24.5051px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="179.509" y="133.761" id="text3424" sodipodi:linespacing="125%" transform="scale(0.991599, 1.00847)"><tspan sodipodi:role="line" id="tspan3426" x="179.509" y="133.761">8</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 23.1603px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="61.5895" y="17.2378" id="text3428" sodipodi:linespacing="125%" transform="scale(1.05007, 0.952317)"><tspan sodipodi:role="line" id="tspan3430" x="61.5895" y="17.2378">9</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.4796px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="380.833" y="264.544" id="text3436" sodipodi:linespacing="125%" transform="scale(1.06359, 0.94021)"><tspan sodipodi:role="line" id="tspan3438" x="380.833" y="264.544">11</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 24.5051px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="292.293" y="133.761" id="text3440" sodipodi:linespacing="125%" transform="scale(0.991599, 1.00847)"><tspan sodipodi:role="line" id="tspan3442" x="292.293" y="133.761">12</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 23.1603px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="165.2" y="17.2378" id="text3444" sodipodi:linespacing="125%" transform="scale(1.05007, 0.952317)"><tspan sodipodi:role="line" id="tspan3446" x="165.2" y="17.2378">13</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 23.1603px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="274.137" y="17.2378" id="text3448" sodipodi:linespacing="125%" transform="scale(1.05007, 0.952317)"><tspan sodipodi:role="line" id="tspan3450" x="274.137" y="17.2378">18</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 24.5051px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="408.973" y="132.331" id="text3452" sodipodi:linespacing="125%" transform="scale(0.991599, 1.00847)"><tspan sodipodi:role="line" id="tspan3454" x="408.973" y="132.331">17</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 23.1603px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="384.03" y="17.2378" id="text3456" sodipodi:linespacing="125%" transform="scale(1.05007, 0.952317)"><tspan sodipodi:role="line" id="tspan3458" x="384.03" y="17.2378">24</tspan></text>\r
+    <text xml:space="preserve" style="font-size: 22.9203px; font-style: italic; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 128); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" x="62.1921" y="366.696" id="text3460" sodipodi:linespacing="125%" transform="scale(1.00355, 0.996458)"><tspan sodipodi:role="line" id="tspan3462" x="62.1921" y="366.696">0</tspan></text>\r
+    <path id="path3472" d="M 102.47229,307.30045 L 99.210712,296.57209 L 109.99539,299.5754" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3474" d="M 99.954469,297.2509 L 126.59622,323.19622" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 121.15655,360.77351 L 130.97281,366.19352 L 121.14594,371.55652" id="path3504"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 1.895; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; stroke-miterlimit: 4; stroke-dasharray: none;" d="M 129.96636,366.22513 L 92.778443,366.18852" id="path3506"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 268.34037,355.96037 L 274.34061,365.43309 L 263.14558,365.40956" id="path3508"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.145; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; stroke-miterlimit: 4; stroke-dasharray: none;" d="M 273.62801,364.97813 L 71.930614,262.16495" id="path3510" sodipodi:nodetypes="cc"/>\r
+    <text transform="scale(0.992403, 1.00766)" sodipodi:linespacing="125%" id="text3221" y="399.881" x="46.7607" style="font-size: 27.7873px; font-style: normal; font-variant: normal; font-weight: normal; font-stretch: normal; text-align: start; line-height: 125%; text-anchor: start; fill: rgb(0, 0, 0); fill-opacity: 1; stroke: none; stroke-width: 1px; stroke-linecap: butt; stroke-linejoin: miter; stroke-opacity: 1; font-family: Times New Roman;" xml:space="preserve"><tspan y="399.881" x="46.7607" id="tspan3223" sodipodi:role="line">0</tspan></text>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 102.47229,193.30045 L 99.210712,182.57209 L 109.99539,185.5754" id="path3225"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 99.954469,183.2509 L 126.59622,209.19622" id="path3227"/>\r
+    <path id="path3229" d="M 102.47229,73.30045 L 99.210712,62.57209 L 109.99539,65.5754" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3231" d="M 99.954469,63.2509 L 126.59622,89.19622" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 214.47229,73.30045 L 211.21071,62.57209 L 221.99539,65.5754" id="path3234"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 211.95447,63.2509 L 238.59622,89.19622" id="path3236"/>\r
+    <path id="path3238" d="M 332.47229,73.30045 L 329.21071,62.57209 L 339.99539,65.5754" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3240" d="M 329.95447,63.2509 L 356.59622,89.19622" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 332.47229,191.30045 L 329.21071,180.57209 L 339.99539,183.5754" id="path3242"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 329.95447,181.2509 L 356.59622,207.19622" id="path3244"/>\r
+    <path id="path3246" d="M 214.47229,191.30045 L 211.21071,180.57209 L 221.99539,183.5754" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3248" d="M 211.95447,181.2509 L 238.59622,207.19622" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 214.47229,305.30045 L 211.21071,294.57209 L 221.99539,297.5754" id="path3250"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 211.95447,295.2509 L 238.59622,321.19622" id="path3252"/>\r
+    <path id="path3254" d="M 332.47229,305.30045 L 329.21071,294.57209 L 339.99539,297.5754" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3256" d="M 329.95447,295.2509 L 356.59622,321.19622" style="fill: none; fill-rule: evenodd; stroke: rgb(0, 0, 0); stroke-width: 2.395; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path id="path3262" d="M 390.0384,355.27502 L 395.40189,365.12227 L 384.2327,364.36165" style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.125; stroke-linecap: round; stroke-linejoin: round; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path sodipodi:nodetypes="cc" id="path3264" d="M 394.58955,364.97812 L 68.661395,147.74187" style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.145; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.145; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 541.70493,372.33389 L 69.478703,32.501485" id="path3270" sodipodi:nodetypes="cc"/>\r
+    <path sodipodi:nodetypes="cc" id="path3272" d="M 681.46455,368.24735 L 64.574857,-96.63313" style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.145; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;"/>\r
+    <path style="fill: none; fill-rule: evenodd; stroke: rgb(255, 0, 0); stroke-width: 2.08953; stroke-linecap: butt; stroke-linejoin: miter; stroke-miterlimit: 4; stroke-dasharray: none; stroke-opacity: 1;" d="M 758.31922,313.51547 L 138.10481,-125.26664" id="path3274" sodipodi:nodetypes="cc"/>\r
+  </g>\r
+</svg>
\ No newline at end of file
diff --git a/big_gics.png b/big_gics.png
new file mode 100644 (file)
index 0000000..d13052c
Binary files /dev/null and b/big_gics.png differ
diff --git a/bijection.png b/bijection.png
new file mode 100644 (file)
index 0000000..e58aeba
Binary files /dev/null and b/bijection.png differ
diff --git a/bijection_N_N2.png b/bijection_N_N2.png
new file mode 100644 (file)
index 0000000..d50da7f
Binary files /dev/null and b/bijection_N_N2.png differ
diff --git a/cantor_bernstein.png b/cantor_bernstein.png
new file mode 100644 (file)
index 0000000..aa0de5c
Binary files /dev/null and b/cantor_bernstein.png differ
diff --git a/injection.png b/injection.png
new file mode 100644 (file)
index 0000000..8ef4a05
Binary files /dev/null and b/injection.png differ
diff --git a/surjection.png b/surjection.png
new file mode 100644 (file)
index 0000000..a2a6126
Binary files /dev/null and b/surjection.png differ
diff --git a/surjinjbij.png b/surjinjbij.png
new file mode 100644 (file)
index 0000000..14f4cb9
Binary files /dev/null and b/surjinjbij.png differ