_alghierarchy.svg

<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
	version="1.1" width="1621px" height="1281px" viewBox="-0.5 -0.5 1621 1281"
	content="&lt;mxfile userAgent=&quot;Mozilla/5.0 (Macintosh; Intel Mac OS X 10_10_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/70.0.3538.102 Safari/537.36&quot; version=&quot;9.4.6&quot; editor=&quot;www.draw.io&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;91d5f4da-33ff-e6ff-6f8e-4d5be3ad26a2&quot; name=&quot;Page-1&quot;&gt;7V1tk5s4Ev41rrrbKlPohbePmZlNNlXJ7tRmb2/vvlwxNp7hFhsfZpLJ/voTBmEkxItBCGwzqZqMeZGw6H766W6ptUD327cPkbt/+RyuvWAB9fXbAj0sIESGgcl/yZHv6REIMUiPPEf+Oj1WOPDF/8vLDurZ0Vd/7R2YC+MwDGJ/zx5chbudt4qZY24Uhd/YyzZhwPa6d5+90oEvKzcoH/2nv45fsqMm/WLJiZ88//mFdg1MJz2zdenV2Vc5vLjr8FvhEPpxge6jMIzTv7Zv916QDB8dmPS+9xVn8yeLvF3c6gZop7d8dYPX7OtlTxZ/p9/X263fJcNGPj0F4erP31783QLdvcTbgBwC5M9NuIvfu1s/SF7pffga+V5E2vjZI/fceW9+/Ac5rmtG9ulf2W2HOAr/zMcQJ2d36/d+QJslXyL6Xrg1+Zjcqycf1uSdZM8YRvFL+Bzu3ODH09G79Hsk11UOTnboQJ54Ra+C2VuM3ejZy65LL8yG8IMXbj3yJOSab6fXb2Rv9KXw4umxyAvc2P/KPoebSeFz3lzew2PokyeEeqYywHY0y8SWbtg20R8EzLQFqj+OriEDOhiA41UW23765bImi6JwXi8I1faSjlapFyI37vfCZfvkgkP1V12aOv/dah/arL+e/JE+Af1UeHunQ0edqNAPDJv149uLH3tf9u5RhL4R0GOVwz3sUxTa+G/eOhf7+zAII3J0F+5O0vrVi2LvrV5ey2JIb7C4wbCzzwUxhQIxpcdEElkYyYaBAoMDSSNcNEJCDkUFICpgyx9F3Dmd6wgkyCoDCdDNMZGEKDErIQb36tuChQHZhoDJNXQ2HjCCdqaSohZGbCpKisGISkr7rhuoKHzdrZMhOGrJf1+3+4yBmeyIVSgzb8Epf3OSxrw4/p59dl/jkBw66emnMNwzvICO/QIi07yD79+XIKCZepwIBOzAIE7MxeKpS0dM0M325KKnrkPM0QTL6abrNiexhAEMYvsJqrCMAzTYflB7fX/bD8omLfECXCJfZkBe3t1T8tdznItDQYsIQMSsvkTewf/LfTpekIhfNhzkauNuYTwkGBT4z0SFHlZEhIgQo7sEaHzS47vsxNZfr4+CGbhPXnDnrv58PmprQVM2x58mvYjCmIhWuMsepRLWMg8qe+pFDkKMmAN9IZTfrClCG00bSzFfS0jdleyVLwGHiuFmc/BiTgzOfvHQuRx7QhnvGPbEaUGO+zqPdS5gd8dyKOdRh+3xXZHzyMmH05HxYY465lRSshXgPboGB9Cye10+tn/pmL2RRhmw4HbAgmUAi3E5AMwTeqyU0AvGKeUmh727YwbM/N9rElU8wu3yW/Yg78gluzDausHpghOnSVtKbqhu6XCk80k7wNy/lVt573vBmjZFvk/aGtsDOZw+Lnu4SK+YR9m4K/ZJfveitbtzi713++b6gUab6TFQPTB+q1EBbUbFFwwJO1K1XtqGmLYCCVy7nr1ZCR2ple09JfQwDzzr2SNTc0gtcuamAdxkoQs6J0GbDC6GtQQCdcqPFfWJj0B00icRoWmjBefoU71mNunTg//1V3/3XK0jFcpUI6yb7NUmnZJT7nZ/vA8hnPogmWqxx5Nrj79byTt5av+QOBxQLz79LPk1kq9U8NHkBf/+AsX+PtxuX+OUvs+SXyX5fFQaQZWSjydPod49JRn0mUGVBsU/vp8PRC/2s1416xVWqlctXLjrig0xgSA6L6WY+4OtX6CibCB9okw+jK7ZQGRyDelqYkNL0JQiaLihf47AGlXKB5NlRm7zaU0TkVv+rSK7o9xixMptKXY1kNyihqgjhrXX95daUb58Wpzn/vNujhrVuxOfw13oz0GkFsTHUEp8WiQPJ0l82pgCu+JVcOwHj2keMDcvAMsyD6ileeiAyLA6kD+V+MsFhl/mgEu7UKPSgAuFwwmTjw/RvlJEbpV7zFGWlsqkNMoCRXH7CyYbRRYhIiD0603HF7U4F5IPfbQlG6WGBiQb0w95z96fYExmf68lBCv19+ClBrrbQDAUQPDkwoGGJH+Ph+Ah/b0W8/6kCQ0jMrmY5IudmHVQHYWmcS2UQI5GFRoMHc2GlmGbUDdtxxQsqcT4dIHZTaLqezkuqazpRaK4qUxTTEDcREt44ZjiRiySBiyIAbIcBHTErVzh7VDrZXj2Wc1KFCgFy8anJFB2lR0cTaBQ7Zu3ugqUc1azEgVKFDWflk8SzmGhchO/RGsvIi7FPA2n0jtx4IgBIpoJm7Jezc5+nV7Nbn9bxVLq9qPpL735LTyuhZ01ixuV2A2CRIxOOvaFGadZwSoUzFSqYHDyCvY4K5hoVNwo9mcV66ZillIVq171MxUV++TOCiYYk9gnX2JWp3IJNGCOabJEidWhomIKUkENUTFKgYtRMTRqmNWEjnYqYZiXEaD+gZkEt07nMdt86zSR3aMTeREzdGV5xyZh0wXCNm7eEdXKgSVH2JwenUgUNpX5yvGFjUajGWHTxxQ2oENdg4UCrIAVBIJJVESOF3STtoZeEnit6UWiuKlML01i8WAT+gkS6OOa2gZRwZxAGl2rEjfIfSeJPHf9FsgHjSpCwwIuoIPaG3qv4EIKF5kIKuJW19FVZ/zHzb86QAEc13eiDI3pNKgbETaR8YejYq1Tj4GOHGGrN/1IlbBNP68ScuuK5qhU8v8p1Dsvu2oX61W67Eq4kcHE9GquFVivWHPVwJaapbZqIL6yRVgN/IgiSZEf4VEjcQauoy6AJ+N2N4JU3wvk2TjXi0SGpDDLMAE6LhI3MO7agVpBWOoa3SPpKA+AxmzPXjxQ2w3Px4cTt9vKM1D/g/H+nFHRzazFHV0SutX3gpWJm8JMwxTQTSRuo6KbDeoyTphLb6KO0QbL6NOLRHETrYyallv0GHnzNDPhsCzDeXrZeY6RrTTkcKlZvG5QTiesMn6RNSaUH5NnqPDDzR5whGc7peiqezFRbS8SoXz6S8ge/GiGcuGweKt4xvEz5jUqnSdsKEwAXsR0DCxIEY4M9eRF14GwEqi3OkF979kY1rmzMSzJszGMrtUbm+wFa79kWqL//C7LClXcf4Zx6lilUmhKCtYoPfC3O/fg/b2VZRF934pvV7PzJxENf39IsOXcHcpY41UyRZXYyZm5jZH8E5q540/WXOF4+iPHUpmcx+EIDJXITvFFezrZKdhsp650e+MzjGY3k0fLPhVNnlEhCr3dFlovKJ/pBDvaK2CxLdnGYO6HUc4CJtDTAjEuZq9gp/dmwamGVoKHxL2COZO/JLRB4969lM2C6Zz7m8McUI04UA7k0NisEsiBHOSgzpBjc5BjDgc55dTctUHOEhi9MadiorB8zDExhzmDAI4oQTYtzn2csXScBKj/ehzRZOPHW6Dea8Oz11gEtzZ8QkfqLYFiE1bDRfUFs50G49gtSglepb2rKUOna7aFiyZP04GTfX4kmkAGOQHMhxN9kmIKzUFMoWNhDROibIH0t8mJmqPRM8nvjrMNbN0WNUN9Rgy0wknK4QcwoOUMVXBV5hP2Z+wVYU351nMJdI2NJy6BNQhnN0Xx7GmZ0J+91zhKsjH6j4G39Xa3ErvaeOZKmKJZW86TXivN7Q2orbP20zQxlTMFFtRsjBaPLn1ZLUf9l70XSaNvU5M1NWSNl7W8Vr0KSbvZeGgdV7OGC4iaw0QnLEBI14mR0RnRFL2I3axhS63X/+lY0wuczOEgsrYTeZTMFC2muBPuPHa7pMwcPoyaUzAOh+QQsFsLmubgQ94c4ydiJNVPFIJSReGS3iFTx9JgJSo5eq0P1zqcCm2gFfpgUckxFDmKZjnSql8VJuH+mKQszLq0S36iM4yf2GItAqGf++TPTeC9ZThUhKRV4B4O/oqVgZLTk72sQj7XtBHLYXRs0wM8VIjWLCTdUIYJs+wwhUCkmQ4wCz84PU3hzNAwc9oSQeHd8V9noKIueJvcjqJVXVxQFeidN1GAfEuQa0kiMFWvX5iKM/lxRxAlyUrps1s5mFuJTYVuZYt5/VfF3pS6lVDA4CpisL3dSqyxOM8EKpIyl+Wz50f6hc3kvmttJxJxsrw4wN99vSoKB/pTOHtwCjeoW2lNP66f1sbR/7HzpUT0p2b8xonfI4XGzxJF72fjJ8n4CVZDW8OEL+qNH+aNHx7C+hn8Wa4XeeaP7mxakFoQzcavKI5WPeZM3/hVb+YwMeM3u3/SLSBUaQFvLXh/vgXsEcAXWUA0ggVESiwgVmcByxF87aos4FKCCRw+hD+sCWwRr79OZNJMwBUz0oG1aMoXaKbuFFALaLpuL6SmI0XVjeAgaGZaCkpdmCZXp4h/Tol4VQ7sb1+DwhbE14BZ/RGrYg60/KQjKk1OdQZAMLvsp3EkXkINk9asXrhy/Oe/ivWdhevBRcS9pjzIJpOUpE9yyt3uj/chhFMxzHwU9vgim0Wjt3JFfg53y397UbiYq1NX6YrB5T9zfVNRYcS+rRK6VM2nU/UPQ0ezK80ntNmzqGMyqL4XBOt7kWdcbZELOy2YfQi3uwsDWfLIrt8U1JmxNblaJbaCVvu3NFZKYt9NYXw6uz09pxDZRhlE7QoPtjU6tjZYoqrI00KQjxcIIR+J8/Gcrnua0aQKTRAaEU3sFut/+zK1Aeu91bFAeTAEKiK2irgcJx/Q6TiREcMKl0ByRTe+H9BQ0A3p/a6nn9t+b+76Rd96cfZtFcalbJsx1BVRQEVb9/K+blcN4RvKoXkAn0Xhlo+CTJcE6M3EDhSELm17eP6naKcGrugUMLoCL+omVtXA20PwnOnXVb7/5MaVrPBWqyrfh9t94MXJxHsyPLG/8mYy3aKysqHUN6fM5EaoAMUSZh/rUcnyaXHOKVXYDbRLLZnDkQGgdy05rC7+8Pjx4cKiD4+Rv1v5+2P44ePam8MQtcjJhyHU4iacvPx/evz464UpwCdvkwydSA/mtGnLtKlSLVCZNr0EnzC3i0w0Th812MAvBy5Nwm29rthuaEhSOM7AHCOqj5bVX947WAb0FvONB6TI8oRcVil2oZCn0ZCpyPiSh7euMl5qSGXkA+i3tfcpgJMDTz7ACmRFauGQzll1ieapRMw+fQ7Xc8RMTH/J0LyKy8DO9Le0weSIkwaBPulcdB2wD7QvWY48DIKPmhMBnIQgh2uidXjNBmxDLefen729mC1+4NbJYvZ6CfxXlC2emDX53VvN1kRsTcjQxGECKOla1NmqnG9VloL9DQa0KgoS7YNYla42wxax/oqFNeMYDdjdaHSbwdQFp6n3dHurDxelyKD8uJ5ISCs8057CB3mZMTsKnwnZvTMQGmy1IADlSPCXlRu4kcjgcEJ5O8sFQZXIDLGbBWbf/hJwbUhZMAjArVZj4NY7W0w5BgZ2rB64I4yIVZRJ6zttl4ujL3lb1TmGirilqjJxpxwhTXb+KoaXZuQ56akK5AGn3UzyeYgDIA+lZNOkySMsBKD4Pp2FADyNnvo6AJObikdM5nkT+8++YeyVAPnSnQkHdx4j7yc/mMM75WFZknF5IvZgDu70Ce4ApdEdOJstnuLqZ3BcRVlf09FMbOmGbUNkQIff7kFnT8OOu1BCnnHzBnKglEKjmWq6QYLdmX4FhB8usM7MlziJuMyTJSugf5mviBolXwwbF+2PXiL14+5rGLymxVHnQqkSJI6P5gKFlVIBvNWChFxwji2VCluWSmVj/UZLNtO3AkhlONfQjGRnamCl1ION7hLGpKHCeVpw+1xKssRsoUIuhQAdVfVSASxPrvkhuqaYHjDqIKZVUA8qKz+IS+UHzUG2PANIFJC4BcjStXSnsxy2lrqmI7SozSoI66tWwFknP2wgOOOt4hJz5q5zroFvSCIiobLrfn05zqQ4SF9YSnVYBSzRHabzlBUYCpbgBVD3nScQxccoXL+u4pnCd6bwhsXbvjxwo4LEoxaL7K7SIson8VSLW7z8vqkvUBIa0HXdHbChBgSk+xSOFHP2IUxgOWyn+ddk/iSQ8qp6EpdMyqsDV1PJEs4pQuGYzOnBc809nx6EStODqEXE7rbSg0hU3xJWeBjjzGvJ02Pnm3a+JX7P76EygLBh4knTDf0zgKh65/Cp2JR3h8O74Hk2K+VhCVd+qkBQJyPkPUXubFzaGJdSzSKl+Uc6D3euZJEbF0tgXMYtniyrWgtfwxMorOFJPkZhghmnyyN3//I5XHvJFf8H&lt;/diagram&gt;&lt;/mxfile&gt;">
	<defs />
	<path
		d="M 220 561 L 220 566 Q 220 571 230 571 L 930 571 Q 940 571 940 578.76 L 940 586.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 940 596.53 L 936.67 586.53 L 943.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="450" y="560" width="20" height="20" fill="#ffffff"
		stroke="none" pointer-events="none" />
	<path d="M 610 531 L 564.47 531" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 554.47 531 L 564.47 527.67 L 564.47 534.33 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="690" y="560" width="20" height="20" fill="#ffffff"
		stroke="none" pointer-events="none" />
	<path d="M 506 561 L 506 591 L 896 591 L 896 589.88" fill="none"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 896 599.88 L 892.67 589.88 L 899.33 589.88 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(521.5,575.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="43" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				Scalar
				<br />
			</div></div></foreignObject>
			<text x="22" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">Scalar&lt;br&gt;</text>
		</switch>
	</g>
	<rect x="570" y="560" width="20" height="20" fill="#ffffff"
		stroke="none" pointer-events="none" />
	<path
		d="M 940 361 L 940 366 Q 940 371 950 371 L 1050 371 Q 1060 371 1060 381 L 1060 561 Q 1060 571 1050 571 L 950 571 Q 940 571 940 578.76 L 940 586.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 940 596.53 L 936.67 586.53 L 943.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="570" y="520" width="20" height="40" fill="#ffffff"
		stroke="none" pointer-events="none" />
	<rect x="690" y="760" width="20" height="20" fill="#ffffff"
		stroke="none" pointer-events="none" />
	<rect x="850" y="100" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(914.5,112.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="48" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Field
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Field</i>
			</font></div></div></foreignObject>
			<text x="24" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="850" y="200" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(902.5,212.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="72" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					DivRing
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Division Ring</i>
			</font></div></div></foreignObject>
			<text x="36" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="610" y="600" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(647.5,612.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="102" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					CRing
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Commutative Ring</i>
			</font></div></div></foreignObject>
			<text x="51" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="610" y="700" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(659.5,712.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="78" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Abel
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Abelian Group</i>
			</font></div></div></foreignObject>
			<text x="39" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 940 161 L 940 166 Q 940 171 940 178.76 L 940 186.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 940 196.53 L 936.67 186.53 L 943.33 186.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path
		d="M 940 661 L 940 666 Q 940 671 930 671 L 710 671 Q 700 671 700 678.76 L 700 686.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 700 696.53 L 696.67 686.53 L 703.33 686.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="610" y="800" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(640.5,812.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="117" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				CMnd
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Commutative Monoid</i>
			</font></div></div></foreignObject>
			<text x="59" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 700 761 L 700 786.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 700 796.53 L 696.67 786.53 L 703.33 786.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="850" y="600" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(919.5,612.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="38" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					Ring
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Ring</i>
			</font></div></div></foreignObject>
			<text x="19" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="850" y="700" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(921.5,712.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="34" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Grp
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Group</i>
			</font></div></div></foreignObject>
			<text x="17" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 940 661 L 940 686.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 696.53 L 936.67 686.53 L 943.33 686.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="850" y="800" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(919.5,812.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="39" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Mnd
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Monoid</i>
			</font></div></div></foreignObject>
			<text x="20" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 940 761 L 940 786.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 796.53 L 936.67 786.53 L 943.33 786.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 790 631 L 835.53 631" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 845.53 631 L 835.53 634.33 L 835.53 627.67 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 790 731 L 835.53 731" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 845.53 731 L 835.53 734.33 L 835.53 727.67 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 790 831 L 835.53 831" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 845.53 831 L 835.53 834.33 L 835.53 827.67 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="1200" y="700" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1247.5,712.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="82" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				oGrp
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Ordered Group</i>
			</font></div></div></foreignObject>
			<text x="41" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="1200" y="800" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1244.5,812.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="88" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				oMnd
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Ordered Monoid</i>
			</font></div></div></foreignObject>
			<text x="44" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="1200" y="900" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1234.5,912.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="108" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Toset
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Totally Ordered Set</i>
			</font></div></div></foreignObject>
			<text x="54" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="1200" y="1000" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1231.5,1012.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="115" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Poset
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Partially Ordered Set</i>
			</font></div></div></foreignObject>
			<text x="58" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="1440" y="900" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1510.5,912.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="37" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Lat
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Lattice</i>
			</font></div></div></foreignObject>
			<text x="19" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 1290 961 L 1290 986.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 996.53 L 1286.67 986.53 L 1293.33 986.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1290 861 L 1290 886.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 896.53 L 1286.67 886.53 L 1293.33 886.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1290 761 L 1290 786.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 796.53 L 1286.67 786.53 L 1293.33 786.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path
		d="M 1530 961 L 1530 966 Q 1530 971 1520 971 L 1300 971 Q 1290 971 1290 978.76 L 1290 986.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1290 996.53 L 1286.67 986.53 L 1293.33 986.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1200 831 L 1044.47 831" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1034.47 831 L 1044.47 827.67 L 1044.47 834.33 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1200 731 L 1044.47 731" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1034.47 731 L 1044.47 727.67 L 1044.47 734.33 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="1200" y="600" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1252.5,612.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="73" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				oRing
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Ordered Ring</i>
			</font></div></div></foreignObject>
			<text x="37" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="1200" y="100" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1251.5,112.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="75" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				oField
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Ordered Field</i>
			</font></div></div></foreignObject>
			<text x="38" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 1290 161 L 1290 586.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 596.53 L 1286.67 586.53 L 1293.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1200 131 L 1044.47 131" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1034.47 131 L 1044.47 127.67 L 1044.47 134.33 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1290 661 L 1290 686.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 696.53 L 1286.67 686.53 L 1293.33 686.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1200 631 L 1044.47 631" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1034.47 631 L 1044.47 627.67 L 1044.47 634.33 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="1200" y="1100" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1244.5,1112.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="88" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Preset
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Pre-ordered Set</i>
			</font></div></div></foreignObject>
			<text x="44" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 1290 1061 L 1290 1086.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1290 1096.53 L 1286.67 1086.53 L 1293.33 1086.53 Z"
		fill="#000000" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="1440" y="1000" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1494.5,1012.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="68" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Dirset
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Directed Set</i>
			</font></div></div></foreignObject>
			<text x="34" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path
		d="M 1530 1061 L 1530 1066 Q 1530 1071 1520 1071 L 1300 1071 Q 1290 1071 1290 1078.76 L 1290 1086.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 1290 1096.53 L 1286.67 1086.53 L 1293.33 1086.53 Z"
		fill="#000000" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<ellipse cx="940" cy="1240" rx="40" ry="40" fill="#f5f5f5"
		stroke="#666666" pointer-events="none" />
	<g transform="translate(909.5,1222.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="58" height="32"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(51, 51, 51); line-height: 1.2; vertical-align: top; width: 60px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-size: 16px">
				<span>
					<font style="font-size: 16px">
						_V
					</font>
				</span>
				<br />
			</font><font face="Verdana">
				<span style="font-size: 11px">
					<i>(Base) Set</i>
				</span>
			</font><br /></div></div></foreignObject>
			<text x="29" y="22" fill="#333333" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 940 861 L 940 1189.88" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 1199.88 L 936.67 1189.88 L 943.33 1189.88 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(934.5,875.5)rotate(90,14.5,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="29" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				Base
				<br />
			</div></div></foreignObject>
			<text x="15" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">Base&lt;br&gt;</text>
		</switch>
	</g>
	<path d="M 1246 1161 L 978.94 1209.03" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 969.1 1210.8 L 978.35 1205.75 L 979.53 1212.31 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1105.5,1164.5)rotate(-15,14.5,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="29" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				Base
				<br />
			</div></div></foreignObject>
			<text x="15" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">Base&lt;br&gt;</text>
		</switch>
	</g>
	<ellipse cx="1490" cy="1200" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(1450.5,1184.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Ordering Relation</i>
				</span>
			</font><br /></div></div></foreignObject>
			<text x="38" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 1358 1161 L 1439.8 1196.57" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1448.97 1200.55 L 1438.47 1199.62 L 1441.13 1193.51 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1402.5,1165.5)rotate(20,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				le
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<ellipse cx="1120" cy="985" rx="40" ry="40" fill="#ffe6cc"
		stroke="#d79b00" pointer-events="none" />
	<g transform="translate(1080.5,969.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Neutral Element</i>
				</span>
			</font><br /></div></div></foreignObject>
			<text x="38" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<ellipse cx="1120" cy="890" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(1080.5,874.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Group Operation</i>
				</span>
			</font></div></div></foreignObject>
			<text x="38" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 986 861 L 1069.41 887.62" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1078.93 890.66 L 1068.39 890.8 L 1070.42 884.44 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1043.5,866.5)rotate(20,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				+g
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 962 863 L 1079.34 953.52" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1087.26 959.62 L 1077.31 956.16 L 1081.38 950.88 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1033.5,905.5)rotate(40,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				0g
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path
		d="M 1090.69 1012.67 L 1092.72 1014.14 L 962.4 1193.56 L 965 1195.45 L 954.29 1202.6 L 957.78 1190.21 L 960.38 1192.09 Z"
		fill="#ffffff" stroke="#b3b3b3" stroke-linejoin="round"
		stroke-miterlimit="10" pointer-events="none" />
	<ellipse cx="1120" cy="780" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(1080.5,757.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="43"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Inverse Group Operation</i>
				</span>
			</font></div></div></foreignObject>
			<text x="38" y="28" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 986 761 L 1069.13 778.69" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1078.91 780.77 L 1068.43 781.95 L 1069.82 775.43 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1036.5,759.5)rotate(10,14.5,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="29" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				invg
				<br />
			</div></div></foreignObject>
			<text x="15" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">invg&lt;br&gt;</text>
		</switch>
	</g>
	<ellipse cx="1120" cy="680" rx="40" ry="40" fill="#ffe6cc"
		stroke="#d79b00" pointer-events="none" />
	<g transform="translate(1093.5,672.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="50" height="13"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 52px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Ring Unit</i>
				</span>
			</font></div></div></foreignObject>
			<text x="25" y="13" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 986 661 L 1069.13 678.69" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1078.91 680.77 L 1068.43 681.95 L 1069.82 675.43 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1043.5,659.5)rotate(10,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				1r
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<ellipse cx="1120" cy="580" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(1080.5,564.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Ring Operation</i>
				</span>
			</font></div></div></foreignObject>
			<text x="38" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 986 601 L 1069.13 583.31" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1078.91 581.23 L 1069.82 586.57 L 1068.43 580.05 Z"
		fill="#66b2ff" stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(1044.5,571.5)rotate(-10,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				.r
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 960 661 L 960 689.88" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 960 699.88 L 956.67 689.88 L 963.33 689.88 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(969.5,674.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="43" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				mulGrp
				<br />
			</div></div></foreignObject>
			<text x="22" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">mulGrp&lt;br&gt;</text>
		</switch>
	</g>
	<rect x="850" y="500" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(898.5,512.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="81" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					NzRing
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Non-Zero Ring</i>
			</font></div></div></foreignObject>
			<text x="41" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 940 561 L 940 586.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 596.53 L 936.67 586.53 L 943.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="850" y="400" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(917.5,412.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="42" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					Domn
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Domain</i>
			</font></div></div></foreignObject>
			<text x="21" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 790 430 L 843.63 430" fill="none" stroke="#b3b3b3"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 848.88 430 L 841.88 433.5 L 843.63 430 L 841.88 426.5 Z"
		fill="#b3b3b3" stroke="#b3b3b3" stroke-miterlimit="10" pointer-events="none" />
	<rect x="610" y="400" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(653.5,412.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="90" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					IDomn
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Integral Domain</i>
			</font></div></div></foreignObject>
			<text x="45" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path
		d="M 700 461 L 700 466 Q 700 471 690 471 L 590 471 Q 580 471 580 481 L 580 571 Q 580 581 590 581 L 690 581 Q 700 581 700 583.76 L 700 586.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 700 596.53 L 696.67 586.53 L 703.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 940 461 L 940 486.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 496.53 L 936.67 486.53 L 943.33 486.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 790 431 L 835.53 431" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 845.53 431 L 835.53 434.33 L 835.53 427.67 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="1440" y="800" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(1482.5,812.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="93" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				CLat
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">Complete Lattice</i>
			</font></div></div></foreignObject>
			<text x="47" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 1530 861 L 1530 886.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 1530 896.53 L 1526.67 886.53 L 1533.33 886.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="610" y="300" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(636.5,312.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="124" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					PID
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Principal Ideal Domain</i>
			</font></div></div></foreignObject>
			<text x="62" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<rect x="850" y="300" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(873.5,312.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="131" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					LPIR
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Left Principal Ideal Ring</i>
			</font></div></div></foreignObject>
			<text x="66" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 790 331 L 810 331 Q 820 331 827.76 331 L 835.53 331"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 845.53 331 L 835.53 334.33 L 835.53 327.67 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 700 361 L 700 386.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 700 396.53 L 696.67 386.53 L 703.33 386.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 940 261 L 940 286.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 940 296.53 L 936.67 286.53 L 943.33 286.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="370" y="500" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(426.5,512.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="64" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				LMod
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">
					Left Module
					<br />
				</i>
			</font></div></div></foreignObject>
			<text x="32" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path
		d="M 460 561 L 460 661 Q 460 671 470 671 L 690 671 Q 700 671 700 678.76 L 700 686.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 700 696.53 L 696.67 686.53 L 703.33 686.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="370" y="200" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(410.5,212.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="97" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				LVec
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">
					Left Vector Space
					<br />
				</i>
			</font></div></div></foreignObject>
			<text x="49" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 460 261 L 460 486.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 460 496.53 L 456.67 486.53 L 463.33 486.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 550 231 L 838.88 231" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 848.88 231 L 838.88 234.33 L 838.88 227.67 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(589.5,214.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="43" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				Scalar
				<br />
			</div></div></foreignObject>
			<text x="22" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">Scalar&lt;br&gt;</text>
		</switch>
	</g>
	<path d="M 850 245 L 561.12 245" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 551.12 245 L 561.12 241.67 L 561.12 248.33 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(780.5,254.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="58" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				ringLMod
				<br />
			</div></div></foreignObject>
			<text x="29" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">ringLMod&lt;br&gt;</text>
		</switch>
	</g>
	<path
		d="M 940 161 L 940 166 Q 940 171 930 171 L 590 171 Q 580 171 580 181 L 580 571 Q 580 581 590 581 L 690 581 Q 700 581 700 583.76 L 700 586.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 700 596.53 L 696.67 586.53 L 703.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="370" y="100" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(410.5,112.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="97" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				PreHil
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">
					Pre-Hilbert Space
					<br />
				</i>
			</font></div></div></foreignObject>
			<text x="49" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 460 161 L 460 166 Q 460 171 460 178.76 L 460 186.53"
		fill="none" stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 460 196.53 L 456.67 186.53 L 463.33 186.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="130" y="500" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(192.5,512.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="52" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font style="font-weight: normal">
				<span style="font-size: 16px">
					*Ring
					<br />
				</span>
				<i style="font-family: &quot;verdana&quot; ; font-size: 11px">Star Ring</i>
			</font></div></div></foreignObject>
			<text x="26" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<ellipse cx="40" cy="480" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(0.5,464.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="76" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 76px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>Involution Operation</i>
				</span>
			</font></div></div></foreignObject>
			<text x="38" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 176 501 L 90.88 483.27" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 81.09 481.23 L 91.56 480 L 90.2 486.53 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(143.5,475.5)rotate(15,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				*r
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 370 145 L 253.57 488.47" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 250.36 497.94 L 250.41 487.4 L 256.73 489.54 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(329.5,163.5)rotate(288,21.5,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="43" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				Scalar
				<br />
			</div></div></foreignObject>
			<text x="22" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">Scalar&lt;br&gt;</text>
		</switch>
	</g>
	<ellipse cx="263" cy="80" rx="40" ry="40" fill="#d5e8d4"
		stroke="#82b366" pointer-events="none" />
	<g transform="translate(240.5,64.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="42" height="28"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 42px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><font face="Verdana">
				<span style="font-size: 11px">
					<i>
						Inner
						<br />
						Product
					</i>
				</span>
			</font></div></div></foreignObject>
			<text x="21" y="20" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<path d="M 397.5 100 L 312.9 83.17" fill="none" stroke="#66b2ff"
		stroke-miterlimit="10" pointer-events="none" />
	<path d="M 303.1 81.22 L 313.55 79.9 L 312.25 86.44 Z" fill="#66b2ff"
		stroke="#66b2ff" stroke-miterlimit="10" pointer-events="none" />
	<g transform="translate(366.5,75.5)rotate(15,7,6)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="14" height="12"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 12px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">
				.i
				<br />
			</div></div></foreignObject>
			<text x="7" y="12" fill="#000000" text-anchor="middle"
				font-size="12px" font-family="Courier New">[Not supported by viewer]</text>
		</switch>
	</g>
	<rect x="370" y="0" width="180" height="60" fill="#dae8fc" stroke="#6c8ebf"
		pointer-events="none" />
	<g transform="translate(421.5,12.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="74" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				Hil
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">
					Hilbert Space
					<br />
				</i>
			</font></div></div></foreignObject>
			<text x="37" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 460 61 L 460 71 Q 460 81 460 83.76 L 460 86.53" fill="none"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<path d="M 460 96.53 L 456.67 86.53 L 463.33 86.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
	<rect x="610" y="500" width="180" height="60" fill="#dae8fc"
		stroke="#6c8ebf" pointer-events="none" />
	<g transform="translate(645.5,512.5)">
		<switch>
			<foreignObject style="overflow:visible;"
				pointer-events="all" width="107" height="33"
				requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display: inline-block; font-size: 14px; font-family: &quot;Courier New&quot;; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; font-weight: bold; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml"
				style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-weight: normal"><font style="font-size: 16px">
				AssAlg
			</font></span><br /><font
				face="Verdana" style="font-weight: normal" size="1">
				<i style="font-size: 11px">
					Associative Algebra
					<br />
				</i>
			</font></div></div></foreignObject>
			<text x="54" y="24" fill="#000000" text-anchor="middle"
				font-size="14px" font-family="Courier New" font-weight="bold">[Not
				supported by viewer]</text>
		</switch>
	</g>
	<path d="M 700 561 L 700 586.53" fill="none" stroke="#000000"
		stroke-width="4" stroke-miterlimit="10" pointer-events="none" />
	<path d="M 700 596.53 L 696.67 586.53 L 703.33 586.53 Z" fill="#000000"
		stroke="#000000" stroke-width="4" stroke-miterlimit="10"
		pointer-events="none" />
</svg>