topology/topology-zoomed.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: topology&#45;zoomed Pages: 1 -->
<svg width="2384pt" height="681pt"
 viewBox="0.00 0.00 2384.00 681.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 677)">
<title>topology&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-677 2380,-677 2380,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="2132,-80 2132,-156.5 2368,-156.5 2368,-80 2132,-80"/>
<text text-anchor="middle" x="2250" y="-139.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/topology</title>
<polygon fill="none" stroke="black" points="8,-8 8,-665 2124,-665 2124,-8 8,-8"/>
<text text-anchor="middle" x="1066" y="-647.7" font-family="Times,serif" font-size="14.00">NASALib/topology</text>
</g>
<!-- NASALib/reals -->
<g id="node1" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="2274,-124 2220,-124 2220,-88 2274,-88 2274,-124"/>
<text text-anchor="middle" x="2247" y="-100.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/sets_aux -->
<g id="node2" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="2202.25,-124 2139.75,-124 2139.75,-88 2202.25,-88 2202.25,-124"/>
<text text-anchor="middle" x="2171" y="-100.95" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/structures -->
<g id="node3" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="2360.25,-124 2291.75,-124 2291.75,-88 2360.25,-88 2360.25,-124"/>
<text text-anchor="middle" x="2326" y="-100.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/topology@basis -->
<g id="node4" class="node">
<title>NASALib/topology@basis</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1416" cy="-106" rx="29.34" ry="18"/>
<text text-anchor="middle" x="1416" y="-100.95" font-family="Times,serif" font-size="14.00">basis</text>
</g>
<!-- NASALib/topology@topology_prelim -->
<g id="node33" class="node">
<title>NASALib/topology@topology_prelim</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1416" cy="-34" rx="72.85" ry="18"/>
<text text-anchor="middle" x="1416" y="-28.95" font-family="Times,serif" font-size="14.00">topology_prelim</text>
</g>
<!-- NASALib/topology@basis&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge1" class="edge">
<title>NASALib/topology@basis&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M1416,-87.7C1416,-80.24 1416,-71.32 1416,-62.97"/>
<polygon fill="black" stroke="black" points="1419.5,-63.1 1416,-53.1 1412.5,-63.1 1419.5,-63.1"/>
</g>
<!-- NASALib/topology@compact_spaces -->
<g id="node5" class="node">
<title>NASALib/topology@compact_spaces</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2045" cy="-326.5" rx="71.31" ry="18"/>
<text text-anchor="middle" x="2045" y="-321.45" font-family="Times,serif" font-size="14.00">compact_spaces</text>
</g>
<!-- NASALib/topology@topology -->
<g id="node31" class="node">
<title>NASALib/topology@topology</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1448" cy="-254.5" rx="43.67" ry="18"/>
<text text-anchor="middle" x="1448" y="-249.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/topology@compact_spaces&#45;&gt;NASALib/topology@topology -->
<g id="edge2" class="edge">
<title>NASALib/topology@compact_spaces&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1991.64,-314.16C1976.96,-311.04 1965,-308.5 1965,-308.5 1965,-308.5 1631.94,-274.36 1500.47,-260.88"/>
<polygon fill="black" stroke="black" points="1501.18,-257.33 1490.87,-259.79 1500.46,-264.29 1501.18,-257.33"/>
</g>
<!-- NASALib/topology@compact_spaces&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge3" class="edge">
<title>NASALib/topology@compact_spaces&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M2009.68,-310.57C1923.41,-274.11 1709,-183.5 1709,-183.5"/>
</g>
<!-- NASALib/topology@composition_continuity -->
<g id="node6" class="node">
<title>NASALib/topology@composition_continuity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="694" cy="-470.5" rx="98.95" ry="18"/>
<text text-anchor="middle" x="694" y="-465.45" font-family="Times,serif" font-size="14.00">composition_continuity</text>
</g>
<!-- NASALib/topology@continuity -->
<g id="node10" class="node">
<title>NASALib/topology@continuity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1021" cy="-398.5" rx="48.28" ry="18"/>
<text text-anchor="middle" x="1021" y="-393.45" font-family="Times,serif" font-size="14.00">continuity</text>
</g>
<!-- NASALib/topology@composition_continuity&#45;&gt;NASALib/topology@continuity -->
<g id="edge4" class="edge">
<title>NASALib/topology@composition_continuity&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M756.28,-456.17C818.08,-442.94 911.69,-422.9 969.44,-410.54"/>
<polygon fill="black" stroke="black" points="970.1,-413.76 979.15,-408.25 968.64,-406.92 970.1,-413.76"/>
</g>
<!-- NASALib/topology@topology_def -->
<g id="node32" class="node">
<title>NASALib/topology@topology_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1385" cy="-182.5" rx="60.05" ry="18"/>
<text text-anchor="middle" x="1385" y="-177.45" font-family="Times,serif" font-size="14.00">topology_def</text>
</g>
<!-- NASALib/topology@composition_continuity&#45;&gt;NASALib/topology@topology_def -->
<g id="edge5" class="edge">
<title>NASALib/topology@composition_continuity&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M745.81,-454.74C800.85,-439.05 880,-416.5 880,-416.5 880,-416.5 895,-399.5 895,-399.5"/>
</g>
<!-- NASALib/topology@connected_def -->
<g id="node7" class="node">
<title>NASALib/topology@connected_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1492" cy="-470.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="1492" y="-465.45" font-family="Times,serif" font-size="14.00">connected_def</text>
</g>
<!-- NASALib/topology@connected_def&#45;&gt;NASALib/topology@continuity -->
<g id="edge6" class="edge">
<title>NASALib/topology@connected_def&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M1436,-461.15C1407.17,-456.85 1378,-452.5 1378,-452.5 1378,-452.5 1083,-416.5 1083,-416.5 1083,-416.5 1077.42,-414.97 1069.61,-412.83"/>
<polygon fill="black" stroke="black" points="1070.78,-409.24 1060.21,-409.98 1068.92,-416 1070.78,-409.24"/>
</g>
<!-- NASALib/topology@continuity_def -->
<g id="node11" class="node">
<title>NASALib/topology@continuity_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1073" cy="-326.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="1073" y="-321.45" font-family="Times,serif" font-size="14.00">continuity_def</text>
</g>
<!-- NASALib/topology@connected_def&#45;&gt;NASALib/topology@continuity_def -->
<g id="edge7" class="edge">
<title>NASALib/topology@connected_def&#45;&gt;NASALib/topology@continuity_def</title>
<path fill="none" stroke="black" d="M1476.51,-452.55C1457.57,-431.84 1428,-399.5 1428,-399.5"/>
<path fill="none" stroke="black" d="M1428,-397.5C1428,-397.5 1393,-380.5 1393,-380.5 1393,-380.5 1147,-344.5 1147,-344.5 1147,-344.5 1140.92,-343.1 1132.24,-341.11"/>
<polygon fill="black" stroke="black" points="1133.06,-337.48 1122.53,-338.65 1131.5,-344.3 1133.06,-337.48"/>
</g>
<!-- NASALib/topology@connected_def&#45;&gt;NASALib/topology@topology -->
<g id="edge8" class="edge">
<title>NASALib/topology@connected_def&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1428,-397.5C1428,-397.5 1438.2,-325.09 1444.03,-283.68"/>
<polygon fill="black" stroke="black" points="1447.62,-284.3 1445.55,-273.91 1440.69,-283.33 1447.62,-284.3"/>
</g>
<!-- NASALib/topology@connected_def&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge9" class="edge">
<title>NASALib/topology@connected_def&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M1518.22,-453.67C1573.92,-420.03 1699,-344.5 1699,-344.5 1699,-344.5 1709,-183.5 1709,-183.5"/>
</g>
<!-- NASALib/topology@connected_space -->
<g id="node8" class="node">
<title>NASALib/topology@connected_space</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1229" cy="-326.5" rx="73.36" ry="18"/>
<text text-anchor="middle" x="1229" y="-321.45" font-family="Times,serif" font-size="14.00">connected_space</text>
</g>
<!-- NASALib/topology@connected_space&#45;&gt;NASALib/topology@topology -->
<g id="edge10" class="edge">
<title>NASALib/topology@connected_space&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1272.53,-311.59C1310.61,-299.41 1365.67,-281.82 1403.91,-269.59"/>
<polygon fill="black" stroke="black" points="1404.77,-272.67 1413.23,-266.29 1402.64,-266.01 1404.77,-272.67"/>
</g>
<!-- NASALib/topology@connected_space&#45;&gt;NASALib/topology@topology_def -->
<g id="edge11" class="edge">
<title>NASALib/topology@connected_space&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1229,-308.2C1229,-287.47 1229,-255.5 1229,-255.5"/>
</g>
<!-- NASALib/topology@constant_continuity -->
<g id="node9" class="node">
<title>NASALib/topology@constant_continuity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="895" cy="-470.5" rx="83.6" ry="18"/>
<text text-anchor="middle" x="895" y="-465.45" font-family="Times,serif" font-size="14.00">constant_continuity</text>
</g>
<!-- NASALib/topology@constant_continuity&#45;&gt;NASALib/structures -->
<g id="edge12" class="edge">
<title>NASALib/topology@constant_continuity&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M957.29,-458.11C974.23,-455.02 988,-452.5 988,-452.5 988,-452.5 2113,-416.5 2113,-416.5 2113,-416.5 2132,-399.5 2132,-399.5"/>
<path fill="none" stroke="black" d="M2132,-397.5C2132,-397.5 2260.85,-204.56 2308.53,-133.16"/>
<polygon fill="black" stroke="black" points="2311.8,-135.56 2314.45,-125.3 2305.98,-131.67 2311.8,-135.56"/>
</g>
<!-- NASALib/topology@constant_continuity&#45;&gt;NASALib/topology@continuity -->
<g id="edge13" class="edge">
<title>NASALib/topology@constant_continuity&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M924.22,-453.26C942.51,-443.11 966.18,-429.95 985.54,-419.2"/>
<polygon fill="black" stroke="black" points="986.89,-421.9 993.93,-413.98 983.49,-415.78 986.89,-421.9"/>
</g>
<!-- NASALib/topology@constant_continuity&#45;&gt;NASALib/topology@topology_def -->
<g id="edge14" class="edge">
<title>NASALib/topology@constant_continuity&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M895,-452.2C895,-431.47 895,-399.5 895,-399.5"/>
</g>
<!-- NASALib/topology@continuity&#45;&gt;NASALib/topology@basis -->
<g id="edge15" class="edge">
<title>NASALib/topology@continuity&#45;&gt;NASALib/topology@basis</title>
<path fill="none" stroke="black" d="M1008.68,-380.91C993.3,-360.21 969,-327.5 969,-327.5"/>
<path fill="none" stroke="black" d="M969,-325.5C969,-325.5 995,-308.5 995,-308.5 995,-308.5 1209,-255.5 1209,-255.5"/>
<path fill="none" stroke="black" d="M1209,-253.5C1209,-253.5 1224,-236.5 1224,-236.5 1224,-236.5 1316,-164.5 1316,-164.5 1316,-164.5 1356.35,-141.3 1385.79,-124.37"/>
<polygon fill="black" stroke="black" points="1387.36,-126.93 1394.28,-118.91 1383.87,-120.86 1387.36,-126.93"/>
</g>
<!-- NASALib/topology@continuity&#45;&gt;NASALib/topology@continuity_def -->
<g id="edge16" class="edge">
<title>NASALib/topology@continuity&#45;&gt;NASALib/topology@continuity_def</title>
<path fill="none" stroke="black" d="M1033.32,-380.91C1039.45,-372.66 1046.99,-362.51 1053.85,-353.28"/>
<polygon fill="black" stroke="black" points="1057.25,-355.57 1060.4,-345.46 1051.63,-351.4 1057.25,-355.57"/>
</g>
<!-- NASALib/topology@continuity&#45;&gt;NASALib/topology@topology -->
<g id="edge17" class="edge">
<title>NASALib/topology@continuity&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M969,-325.5C969,-325.5 999,-308.5 999,-308.5 999,-308.5 1390,-272.5 1390,-272.5 1390,-272.5 1395.39,-270.92 1402.89,-268.72"/>
<polygon fill="black" stroke="black" points="1403.64,-271.85 1412.26,-265.68 1401.68,-265.14 1403.64,-271.85"/>
</g>
<!-- NASALib/topology@continuity&#45;&gt;NASALib/topology@topology_def -->
<g id="edge18" class="edge">
<title>NASALib/topology@continuity&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1209,-253.5C1209,-253.5 1224,-236.5 1224,-236.5 1224,-236.5 1287.92,-215.46 1335.21,-199.89"/>
<polygon fill="black" stroke="black" points="1336.21,-202.92 1344.61,-196.47 1334.02,-196.27 1336.21,-202.92"/>
</g>
<!-- NASALib/topology@continuity_def&#45;&gt;NASALib/topology@topology -->
<g id="edge19" class="edge">
<title>NASALib/topology@continuity_def&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1121.53,-314.35C1135.48,-311.15 1147,-308.5 1147,-308.5 1147,-308.5 1390,-272.5 1390,-272.5 1390,-272.5 1395.39,-270.92 1402.89,-268.72"/>
<polygon fill="black" stroke="black" points="1403.64,-271.85 1412.26,-265.68 1401.68,-265.14 1403.64,-271.85"/>
</g>
<!-- NASALib/topology@continuity_def&#45;&gt;NASALib/topology@topology_def -->
<g id="edge20" class="edge">
<title>NASALib/topology@continuity_def&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1110.42,-311.44C1152.19,-295.73 1214,-272.5 1214,-272.5 1214,-272.5 1229,-255.5 1229,-255.5"/>
</g>
<!-- NASALib/topology@continuity_subspace -->
<g id="node12" class="node">
<title>NASALib/topology@continuity_subspace</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1283" cy="-470.5" rx="86.15" ry="18"/>
<text text-anchor="middle" x="1283" y="-465.45" font-family="Times,serif" font-size="14.00">continuity_subspace</text>
</g>
<!-- NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@continuity -->
<g id="edge21" class="edge">
<title>NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M1230.97,-455.71C1171.72,-440.01 1083,-416.5 1083,-416.5 1083,-416.5 1077.42,-414.97 1069.61,-412.83"/>
<polygon fill="black" stroke="black" points="1070.78,-409.24 1060.21,-409.98 1068.92,-416 1070.78,-409.24"/>
</g>
<!-- NASALib/topology@subspace -->
<g id="node23" class="node">
<title>NASALib/topology@subspace</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1365" cy="-326.5" rx="44.19" ry="18"/>
<text text-anchor="middle" x="1365" y="-321.45" font-family="Times,serif" font-size="14.00">subspace</text>
</g>
<!-- NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@subspace -->
<g id="edge22" class="edge">
<title>NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@subspace</title>
<path fill="none" stroke="black" d="M1088,-397.5C1088,-397.5 1311,-344.5 1311,-344.5 1311,-344.5 1314.91,-343.27 1320.63,-341.47"/>
<polygon fill="black" stroke="black" points="1321.31,-344.61 1329.8,-338.27 1319.21,-337.93 1321.31,-344.61"/>
</g>
<!-- NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@topology_def -->
<g id="edge23" class="edge">
<title>NASALib/topology@continuity_subspace&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1229,-253.5C1229,-253.5 1296.69,-223.13 1342.89,-202.4"/>
<polygon fill="black" stroke="black" points="1343.99,-205.29 1351.68,-198 1341.12,-198.9 1343.99,-205.29"/>
<path fill="none" stroke="black" d="M1088,-397.5C1088,-397.5 1078,-380.5 1078,-380.5 1078,-380.5 999,-344.5 999,-344.5 999,-344.5 999,-308.5 999,-308.5 999,-308.5 1214,-272.5 1214,-272.5 1214,-272.5 1229,-255.5 1229,-255.5"/>
<path fill="none" stroke="black" d="M1241.17,-454.48C1183.87,-433.91 1088,-399.5 1088,-399.5"/>
</g>
<!-- NASALib/topology@cross_product -->
<g id="node13" class="node">
<title>NASALib/topology@cross_product</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1627" cy="-326.5" rx="62.61" ry="18"/>
<text text-anchor="middle" x="1627" y="-321.45" font-family="Times,serif" font-size="14.00">cross_product</text>
</g>
<!-- NASALib/topology@hausdorff_convergence -->
<g id="node14" class="node">
<title>NASALib/topology@hausdorff_convergence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1825" cy="-398.5" rx="97.41" ry="18"/>
<text text-anchor="middle" x="1825" y="-393.45" font-family="Times,serif" font-size="14.00">hausdorff_convergence</text>
</g>
<!-- NASALib/topology@topological_convergence -->
<g id="node30" class="node">
<title>NASALib/topology@topological_convergence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1852" cy="-326.5" rx="103.56" ry="18"/>
<text text-anchor="middle" x="1852" y="-321.45" font-family="Times,serif" font-size="14.00">topological_convergence</text>
</g>
<!-- NASALib/topology@hausdorff_convergence&#45;&gt;NASALib/topology@topological_convergence -->
<g id="edge24" class="edge">
<title>NASALib/topology@hausdorff_convergence&#45;&gt;NASALib/topology@topological_convergence</title>
<path fill="none" stroke="black" d="M1831.67,-380.2C1834.65,-372.48 1838.23,-363.21 1841.54,-354.61"/>
<polygon fill="black" stroke="black" points="1845.07,-356.19 1845.4,-345.6 1838.54,-353.67 1845.07,-356.19"/>
</g>
<!-- NASALib/topology@hausdorff_convergence&#45;&gt;NASALib/topology@topology_def -->
<g id="edge25" class="edge">
<title>NASALib/topology@hausdorff_convergence&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1729,-253.5C1729,-253.5 1459,-200.5 1459,-200.5 1459,-200.5 1451.86,-198.86 1442.02,-196.6"/>
<polygon fill="black" stroke="black" points="1442.97,-193 1432.45,-194.17 1441.41,-199.82 1442.97,-193"/>
<path fill="none" stroke="black" d="M1797.79,-380.73C1772.59,-365.2 1739,-344.5 1739,-344.5 1739,-344.5 1729,-255.5 1729,-255.5"/>
</g>
<!-- NASALib/topology@homeomorphic_reflexive -->
<g id="node15" class="node">
<title>NASALib/topology@homeomorphic_reflexive</title>
<ellipse fill="#e6f3ff" stroke="black" cx="121" cy="-542.5" rx="105.09" ry="18"/>
<text text-anchor="middle" x="121" y="-537.45" font-family="Times,serif" font-size="14.00">homeomorphic_reflexive</text>
</g>
<!-- NASALib/topology@homeomorphism_def -->
<g id="node18" class="node">
<title>NASALib/topology@homeomorphism_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="466" cy="-470.5" rx="91.27" ry="18"/>
<text text-anchor="middle" x="466" y="-465.45" font-family="Times,serif" font-size="14.00">homeomorphism_def</text>
</g>
<!-- NASALib/topology@homeomorphic_reflexive&#45;&gt;NASALib/topology@homeomorphism_def -->
<g id="edge26" class="edge">
<title>NASALib/topology@homeomorphic_reflexive&#45;&gt;NASALib/topology@homeomorphism_def</title>
<path fill="none" stroke="black" d="M187.11,-528.09C246.08,-516.12 332.27,-498.63 393.2,-486.27"/>
<polygon fill="black" stroke="black" points="393.78,-489.52 402.88,-484.1 392.39,-482.66 393.78,-489.52"/>
</g>
<!-- NASALib/topology@homeomorphic_reflexive&#45;&gt;NASALib/topology@topology_def -->
<g id="edge27" class="edge">
<title>NASALib/topology@homeomorphic_reflexive&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M356,-469.5C356,-469.5 366,-452.5 366,-452.5 366,-452.5 875,-327.5 875,-327.5"/>
<path fill="none" stroke="black" d="M875,-325.5C875,-325.5 1200.45,-234.89 1331.39,-198.43"/>
<polygon fill="black" stroke="black" points="1332.26,-201.54 1340.96,-195.48 1330.38,-194.8 1332.26,-201.54"/>
<path fill="none" stroke="black" d="M171.99,-526.31C241.11,-505.72 356,-471.5 356,-471.5"/>
</g>
<!-- NASALib/topology@homeomorphic_symmetric -->
<g id="node16" class="node">
<title>NASALib/topology@homeomorphic_symmetric</title>
<ellipse fill="#e6f3ff" stroke="black" cx="356" cy="-542.5" rx="112.26" ry="18"/>
<text text-anchor="middle" x="356" y="-537.45" font-family="Times,serif" font-size="14.00">homeomorphic_symmetric</text>
</g>
<!-- NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/structures -->
<g id="edge28" class="edge">
<title>NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M443.69,-530.93C472.37,-527.47 497,-524.5 497,-524.5 497,-524.5 1913,-488.5 1913,-488.5 1913,-488.5 1927,-471.5 1927,-471.5"/>
<path fill="none" stroke="black" d="M1927,-469.5C1927,-469.5 2113,-416.5 2113,-416.5 2113,-416.5 2132,-399.5 2132,-399.5"/>
</g>
<!-- NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/topology@homeomorphism_def -->
<g id="edge29" class="edge">
<title>NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/topology@homeomorphism_def</title>
<path fill="none" stroke="black" d="M382.63,-524.55C397.19,-515.29 415.41,-503.69 431.1,-493.71"/>
<polygon fill="black" stroke="black" points="432.44,-496.37 439,-488.05 428.68,-490.46 432.44,-496.37"/>
</g>
<!-- NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/topology@topology_def -->
<g id="edge30" class="edge">
<title>NASALib/topology@homeomorphic_symmetric&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M356,-524.2C356,-503.47 356,-471.5 356,-471.5"/>
</g>
<!-- NASALib/topology@homeomorphic_transitive -->
<g id="node17" class="node">
<title>NASALib/topology@homeomorphic_transitive</title>
<ellipse fill="#e6f3ff" stroke="black" cx="613" cy="-542.5" rx="106.63" ry="18"/>
<text text-anchor="middle" x="613" y="-537.45" font-family="Times,serif" font-size="14.00">homeomorphic_transitive</text>
</g>
<!-- NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/structures -->
<g id="edge31" class="edge">
<title>NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M715.55,-537.32C1022.52,-524.8 1913,-488.5 1913,-488.5 1913,-488.5 1927,-471.5 1927,-471.5"/>
</g>
<!-- NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@composition_continuity -->
<g id="edge32" class="edge">
<title>NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@composition_continuity</title>
<path fill="none" stroke="black" d="M632.61,-524.55C642.68,-515.85 655.13,-505.09 666.18,-495.54"/>
<polygon fill="black" stroke="black" points="668.01,-497.72 673.29,-488.53 663.44,-492.42 668.01,-497.72"/>
</g>
<!-- NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@homeomorphism_def -->
<g id="edge33" class="edge">
<title>NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@homeomorphism_def</title>
<path fill="none" stroke="black" d="M578.54,-525.09C557.93,-515.28 531.56,-502.72 509.52,-492.23"/>
<polygon fill="black" stroke="black" points="511.28,-488.71 500.74,-487.57 508.27,-495.03 511.28,-488.71"/>
</g>
<!-- NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@topology_def -->
<g id="edge34" class="edge">
<title>NASALib/topology@homeomorphic_transitive&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M895,-397.5C895,-397.5 875,-327.5 875,-327.5"/>
<path fill="none" stroke="black" d="M604.16,-524.15C596.28,-508.69 586,-488.5 586,-488.5 586,-488.5 586,-452.5 586,-452.5 586,-452.5 880,-416.5 880,-416.5 880,-416.5 895,-399.5 895,-399.5"/>
</g>
<!-- NASALib/topology@homeomorphism_def&#45;&gt;NASALib/structures -->
<g id="edge35" class="edge">
<title>NASALib/topology@homeomorphism_def&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M538.57,-459.22C563.84,-455.64 586,-452.5 586,-452.5 586,-452.5 2113,-416.5 2113,-416.5 2113,-416.5 2132,-399.5 2132,-399.5"/>
</g>
<!-- NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@continuity -->
<g id="edge36" class="edge">
<title>NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M538.57,-459.22C563.84,-455.64 586,-452.5 586,-452.5 586,-452.5 900,-416.5 900,-416.5 900,-416.5 933.76,-411.76 965.61,-407.28"/>
<polygon fill="black" stroke="black" points="965.87,-410.64 975.29,-405.78 964.9,-403.71 965.87,-410.64"/>
</g>
<!-- NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@continuity_def -->
<g id="edge37" class="edge">
<title>NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@continuity_def</title>
<path fill="none" stroke="black" d="M875,-397.5C875,-397.5 965.53,-365.49 1024.16,-344.77"/>
<polygon fill="black" stroke="black" points="1025.09,-347.8 1033.35,-341.16 1022.76,-341.2 1025.09,-347.8"/>
</g>
<!-- NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@topology_def -->
<g id="edge38" class="edge">
<title>NASALib/topology@homeomorphism_def&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M533.08,-458.02C649.11,-438.16 875,-399.5 875,-399.5"/>
<path fill="none" stroke="black" d="M875,-397.5C875,-397.5 875,-327.5 875,-327.5"/>
</g>
<!-- NASALib/topology@identity_continuity -->
<g id="node19" class="node">
<title>NASALib/topology@identity_continuity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1078" cy="-470.5" rx="81.04" ry="18"/>
<text text-anchor="middle" x="1078" y="-465.45" font-family="Times,serif" font-size="14.00">identity_continuity</text>
</g>
<!-- NASALib/topology@identity_continuity&#45;&gt;NASALib/topology@continuity -->
<g id="edge39" class="edge">
<title>NASALib/topology@identity_continuity&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M1064.2,-452.55C1057.24,-444 1048.67,-433.47 1041,-424.06"/>
<polygon fill="black" stroke="black" points="1043.31,-422.35 1034.28,-416.81 1037.88,-426.77 1043.31,-422.35"/>
</g>
<!-- NASALib/topology@identity_continuity&#45;&gt;NASALib/topology@topology_def -->
<g id="edge40" class="edge">
<title>NASALib/topology@identity_continuity&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1038.74,-454.48C984.97,-433.91 895,-399.5 895,-399.5"/>
</g>
<!-- NASALib/topology@lindelof -->
<g id="node20" class="node">
<title>NASALib/topology@lindelof</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1507" cy="-326.5" rx="39.58" ry="18"/>
<text text-anchor="middle" x="1507" y="-321.45" font-family="Times,serif" font-size="14.00">lindelof</text>
</g>
<!-- NASALib/topology@lindelof&#45;&gt;NASALib/sets_aux -->
<g id="edge41" class="edge">
<title>NASALib/topology@lindelof&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1537.67,-314.64C1547.08,-311.31 1555,-308.5 1555,-308.5 1555,-308.5 1829,-272.5 1829,-272.5 1829,-272.5 2064,-164.5 2064,-164.5 2064,-164.5 2128,-156.5 2128,-156.5 2128,-156.5 2138.27,-144.67 2148.78,-132.58"/>
<polygon fill="black" stroke="black" points="2152.04,-135.16 2155.96,-125.31 2146.76,-130.57 2152.04,-135.16"/>
</g>
<!-- NASALib/topology@lindelof&#45;&gt;NASALib/topology@topology -->
<g id="edge42" class="edge">
<title>NASALib/topology@lindelof&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1493.32,-309.26C1485.94,-300.52 1476.7,-289.55 1468.49,-279.81"/>
<polygon fill="black" stroke="black" points="1470.73,-278.04 1461.61,-272.65 1465.38,-282.55 1470.73,-278.04"/>
</g>
<!-- NASALib/topology@lindelof&#45;&gt;NASALib/topology@topology_def -->
<g id="edge43" class="edge">
<title>NASALib/topology@lindelof&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1505.84,-308.34C1504.1,-282.48 1501,-236.5 1501,-236.5 1501,-236.5 1459.86,-217.7 1426.58,-202.5"/>
<polygon fill="black" stroke="black" points="1428.55,-199.1 1418,-198.12 1425.65,-205.46 1428.55,-199.1"/>
</g>
<!-- NASALib/topology@prelude_sets_aux -->
<g id="node21" class="node">
<title>NASALib/topology@prelude_sets_aux</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1558" cy="-182.5" rx="74.89" ry="18"/>
<text text-anchor="middle" x="1558" y="-177.45" font-family="Times,serif" font-size="14.00">prelude_sets_aux</text>
</g>
<!-- NASALib/topology@subseq -->
<g id="node22" class="node">
<title>NASALib/topology@subseq</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1784" cy="-254.5" rx="36" ry="18"/>
<text text-anchor="middle" x="1784" y="-249.45" font-family="Times,serif" font-size="14.00">subseq</text>
</g>
<!-- NASALib/topology@subseq&#45;&gt;NASALib/reals -->
<g id="edge44" class="edge">
<title>NASALib/topology@subseq&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1810.77,-242.05C1866.94,-218.01 1992,-164.5 1992,-164.5 1992,-164.5 2211,-156.5 2211,-156.5 2211,-156.5 2219.44,-144.9 2228.14,-132.93"/>
<polygon fill="black" stroke="black" points="2231.36,-135.46 2234.41,-125.31 2225.7,-131.34 2231.36,-135.46"/>
</g>
<!-- NASALib/topology@subspace&#45;&gt;NASALib/topology@topology_def -->
<g id="edge45" class="edge">
<title>NASALib/topology@subspace&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1338.45,-311.84C1298.88,-291.47 1229,-255.5 1229,-255.5"/>
</g>
<!-- NASALib/topology@top_basic -->
<g id="node24" class="node">
<title>NASALib/topology@top_basic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1500" cy="-398.5" rx="46.23" ry="18"/>
<text text-anchor="middle" x="1500" y="-393.45" font-family="Times,serif" font-size="14.00">top_basic</text>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@basis -->
<g id="edge46" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@basis</title>
<path fill="none" stroke="black" d="M1486.94,-381.02C1474.61,-365.46 1458,-344.5 1458,-344.5 1458,-344.5 1448,-327.5 1448,-327.5"/>
<path fill="none" stroke="black" d="M1385,-253.5C1385,-253.5 1395,-236.5 1395,-236.5 1395,-236.5 1454,-200.5 1454,-200.5 1454,-200.5 1464,-183.5 1464,-183.5"/>
<path fill="none" stroke="black" d="M1464,-181.5C1464,-181.5 1454,-164.5 1454,-164.5 1454,-164.5 1442.7,-147.4 1432.42,-131.85"/>
<polygon fill="black" stroke="black" points="1435.02,-130.43 1426.59,-124.02 1429.18,-134.29 1435.02,-130.43"/>
<path fill="none" stroke="black" d="M1448,-325.5C1448,-325.5 1395,-272.5 1395,-272.5 1395,-272.5 1385,-255.5 1385,-255.5"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@cross_product -->
<g id="edge47" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@cross_product</title>
<path fill="none" stroke="black" d="M1526.01,-383.17C1544.22,-373.13 1568.84,-359.56 1589.21,-348.33"/>
<polygon fill="black" stroke="black" points="1590.75,-350.92 1597.82,-343.03 1587.37,-344.79 1590.75,-350.92"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@lindelof -->
<g id="edge48" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@lindelof</title>
<path fill="none" stroke="black" d="M1501.73,-380.2C1502.48,-372.74 1503.37,-363.82 1504.2,-355.47"/>
<polygon fill="black" stroke="black" points="1507.78,-355.9 1505.29,-345.6 1500.81,-355.21 1507.78,-355.9"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@subspace -->
<g id="edge49" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@subspace</title>
<path fill="none" stroke="black" d="M1473.01,-383.5C1452.36,-372.8 1423.69,-357.93 1401.08,-346.21"/>
<polygon fill="black" stroke="black" points="1402.98,-342.73 1392.49,-341.23 1399.75,-348.94 1402.98,-342.73"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology -->
<g id="edge50" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1448,-325.5C1448,-325.5 1448,-303.16 1448,-283.72"/>
<polygon fill="black" stroke="black" points="1451.5,-283.8 1448,-273.8 1444.5,-283.8 1451.5,-283.8"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology_def -->
<g id="edge51" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1385,-253.5C1385,-253.5 1385,-231.16 1385,-211.72"/>
<polygon fill="black" stroke="black" points="1388.5,-211.8 1385,-201.8 1381.5,-211.8 1388.5,-211.8"/>
</g>
<!-- NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge52" class="edge">
<title>NASALib/topology@top_basic&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M1464,-105C1464,-105 1454,-80 1454,-80 1454,-80 1445.99,-70.51 1437.32,-60.24"/>
<polygon fill="black" stroke="black" points="1439.49,-58.39 1430.37,-53.01 1434.14,-62.91 1439.49,-58.39"/>
<path fill="none" stroke="black" d="M1464,-181.5C1464,-181.5 1464,-107 1464,-107"/>
</g>
<!-- NASALib/topology@top_compact -->
<g id="node25" class="node">
<title>NASALib/topology@top_compact</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2045" cy="-398.5" rx="59.03" ry="18"/>
<text text-anchor="middle" x="2045" y="-393.45" font-family="Times,serif" font-size="14.00">top_compact</text>
</g>
<!-- NASALib/topology@top_compact&#45;&gt;NASALib/topology@compact_spaces -->
<g id="edge53" class="edge">
<title>NASALib/topology@top_compact&#45;&gt;NASALib/topology@compact_spaces</title>
<path fill="none" stroke="black" d="M2045,-380.2C2045,-372.74 2045,-363.82 2045,-355.47"/>
<polygon fill="black" stroke="black" points="2048.5,-355.6 2045,-345.6 2041.5,-355.6 2048.5,-355.6"/>
</g>
<!-- NASALib/topology@top_connected -->
<g id="node26" class="node">
<title>NASALib/topology@top_connected</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1450" cy="-542.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="1450" y="-537.45" font-family="Times,serif" font-size="14.00">top_connected</text>
</g>
<!-- NASALib/topology@top_connected&#45;&gt;NASALib/topology@connected_def -->
<g id="edge54" class="edge">
<title>NASALib/topology@top_connected&#45;&gt;NASALib/topology@connected_def</title>
<path fill="none" stroke="black" d="M1460.17,-524.55C1465.02,-516.47 1470.93,-506.62 1476.33,-497.61"/>
<polygon fill="black" stroke="black" points="1479.78,-499.66 1481.93,-489.29 1473.78,-496.06 1479.78,-499.66"/>
</g>
<!-- NASALib/topology@top_connected&#45;&gt;NASALib/topology@connected_space -->
<g id="edge55" class="edge">
<title>NASALib/topology@top_connected&#45;&gt;NASALib/topology@connected_space</title>
<path fill="none" stroke="black" d="M1437.4,-524.76C1417.99,-498.98 1383,-452.5 1383,-452.5 1383,-452.5 1302.44,-387.11 1257.85,-350.92"/>
<polygon fill="black" stroke="black" points="1260.42,-347.68 1250.45,-344.1 1256.01,-353.12 1260.42,-347.68"/>
</g>
<!-- NASALib/topology@top_continuity -->
<g id="node27" class="node">
<title>NASALib/topology@top_continuity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1128" cy="-542.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="1128" y="-537.45" font-family="Times,serif" font-size="14.00">top_continuity</text>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@composition_continuity -->
<g id="edge56" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@composition_continuity</title>
<path fill="none" stroke="black" d="M1073.03,-532.63C998.26,-520.57 863.85,-498.89 776.82,-484.86"/>
<polygon fill="black" stroke="black" points="777.62,-481.28 767.19,-483.14 776.5,-488.19 777.62,-481.28"/>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@constant_continuity -->
<g id="edge57" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@constant_continuity</title>
<path fill="none" stroke="black" d="M1085.26,-528.66C1048.04,-517.48 993.75,-501.17 952.68,-488.83"/>
<polygon fill="black" stroke="black" points="953.86,-485.23 943.27,-485.7 951.84,-491.93 953.86,-485.23"/>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity -->
<g id="edge58" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity</title>
<path fill="none" stroke="black" d="M1140.88,-524.44C1152.57,-508.95 1168,-488.5 1168,-488.5 1168,-488.5 1168,-452.5 1168,-452.5 1168,-452.5 1108.36,-431 1065.06,-415.39"/>
<polygon fill="black" stroke="black" points="1066.32,-411.76 1055.72,-411.66 1063.94,-418.34 1066.32,-411.76"/>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity_def -->
<g id="edge59" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity_def</title>
<path fill="none" stroke="black" d="M1178.29,-530.84C1251.29,-515.36 1378,-488.5 1378,-488.5 1378,-488.5 1378,-452.5 1378,-452.5 1378,-452.5 1203.44,-380.96 1118.43,-346.12"/>
<polygon fill="black" stroke="black" points="1119.87,-342.51 1109.29,-341.96 1117.21,-348.99 1119.87,-342.51"/>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity_subspace -->
<g id="edge60" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@continuity_subspace</title>
<path fill="none" stroke="black" d="M1160.87,-526.65C1183.37,-516.5 1213.47,-502.9 1238.16,-491.75"/>
<polygon fill="black" stroke="black" points="1239.35,-494.6 1247.02,-487.3 1236.47,-488.22 1239.35,-494.6"/>
</g>
<!-- NASALib/topology@top_continuity&#45;&gt;NASALib/topology@identity_continuity -->
<g id="edge61" class="edge">
<title>NASALib/topology@top_continuity&#45;&gt;NASALib/topology@identity_continuity</title>
<path fill="none" stroke="black" d="M1115.9,-524.55C1110.15,-516.51 1103.15,-506.7 1096.73,-497.73"/>
<polygon fill="black" stroke="black" points="1099,-495.88 1090.34,-489.78 1093.3,-499.95 1099,-495.88"/>
</g>
<!-- NASALib/topology@top_convergence -->
<g id="node28" class="node">
<title>NASALib/topology@top_convergence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1825" cy="-470.5" rx="73.87" ry="18"/>
<text text-anchor="middle" x="1825" y="-465.45" font-family="Times,serif" font-size="14.00">top_convergence</text>
</g>
<!-- NASALib/topology@top_convergence&#45;&gt;NASALib/topology@hausdorff_convergence -->
<g id="edge62" class="edge">
<title>NASALib/topology@top_convergence&#45;&gt;NASALib/topology@hausdorff_convergence</title>
<path fill="none" stroke="black" d="M1825,-452.2C1825,-444.74 1825,-435.82 1825,-427.47"/>
<polygon fill="black" stroke="black" points="1828.5,-427.6 1825,-417.6 1821.5,-427.6 1828.5,-427.6"/>
</g>
<!-- NASALib/topology@top_convergence&#45;&gt;NASALib/topology@topological_convergence -->
<g id="edge63" class="edge">
<title>NASALib/topology@top_convergence&#45;&gt;NASALib/topology@topological_convergence</title>
<path fill="none" stroke="black" d="M1856.23,-453.88C1887.5,-438.25 1931,-416.5 1931,-416.5 1931,-416.5 1931,-380.5 1931,-380.5 1931,-380.5 1907.37,-364.65 1885.96,-350.28"/>
<polygon fill="black" stroke="black" points="1888.25,-346.93 1878,-344.27 1884.35,-352.75 1888.25,-346.93"/>
</g>
<!-- NASALib/topology@top_homeomorphic -->
<g id="node29" class="node">
<title>NASALib/topology@top_homeomorphic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="421" cy="-614.5" rx="84.11" ry="18"/>
<text text-anchor="middle" x="421" y="-609.45" font-family="Times,serif" font-size="14.00">top_homeomorphic</text>
</g>
<!-- NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_reflexive -->
<g id="edge64" class="edge">
<title>NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_reflexive</title>
<path fill="none" stroke="black" d="M365.63,-600.58C316.76,-589.18 245.25,-572.49 192.16,-560.1"/>
<polygon fill="black" stroke="black" points="193,-556.47 182.46,-557.61 191.4,-563.29 193,-556.47"/>
</g>
<!-- NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_symmetric -->
<g id="edge65" class="edge">
<title>NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_symmetric</title>
<path fill="none" stroke="black" d="M405.27,-596.55C397.48,-588.17 387.92,-577.88 379.3,-568.6"/>
<polygon fill="black" stroke="black" points="382.41,-566.72 373.04,-561.78 377.28,-571.48 382.41,-566.72"/>
</g>
<!-- NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_transitive -->
<g id="edge66" class="edge">
<title>NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphic_transitive</title>
<path fill="none" stroke="black" d="M462.19,-598.48C490.6,-588.12 528.65,-574.25 559.41,-563.04"/>
<polygon fill="black" stroke="black" points="560.35,-566.06 568.55,-559.34 557.95,-559.48 560.35,-566.06"/>
</g>
<!-- NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphism_def -->
<g id="edge67" class="edge">
<title>NASALib/topology@top_homeomorphic&#45;&gt;NASALib/topology@homeomorphism_def</title>
<path fill="none" stroke="black" d="M439.03,-596.44C455.4,-580.95 477,-560.5 477,-560.5 477,-560.5 477,-524.5 477,-524.5 477,-524.5 474.44,-512.18 471.79,-499.42"/>
<polygon fill="black" stroke="black" points="475.06,-498.93 469.6,-489.85 468.21,-500.36 475.06,-498.93"/>
</g>
<!-- NASALib/topology@topological_convergence&#45;&gt;NASALib/reals -->
<g id="edge68" class="edge">
<title>NASALib/topology@topological_convergence&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1881.48,-308.88C1909.05,-293.33 1946,-272.5 1946,-272.5 1946,-272.5 2130,-164.5 2130,-164.5 2130,-164.5 2211,-156.5 2211,-156.5 2211,-156.5 2219.44,-144.9 2228.14,-132.93"/>
<polygon fill="black" stroke="black" points="2231.36,-135.46 2234.41,-125.31 2225.7,-131.34 2231.36,-135.46"/>
</g>
<!-- NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@subseq -->
<g id="edge69" class="edge">
<title>NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@subseq</title>
<path fill="none" stroke="black" d="M1835.54,-308.55C1826.82,-299.58 1815.98,-288.42 1806.49,-278.65"/>
<polygon fill="black" stroke="black" points="1809.4,-276.59 1799.92,-271.86 1804.38,-281.47 1809.4,-276.59"/>
</g>
<!-- NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@topology -->
<g id="edge70" class="edge">
<title>NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@topology</title>
<path fill="none" stroke="black" d="M1780.7,-313.15C1699.69,-299.11 1569.52,-276.56 1498.4,-264.23"/>
<polygon fill="black" stroke="black" points="1499.37,-260.68 1488.92,-262.42 1498.18,-267.57 1499.37,-260.68"/>
</g>
<!-- NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@topology_def -->
<g id="edge71" class="edge">
<title>NASALib/topology@topological_convergence&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1817.17,-309.17C1783.97,-293.59 1739,-272.5 1739,-272.5 1739,-272.5 1729,-255.5 1729,-255.5"/>
</g>
<!-- NASALib/topology@topology&#45;&gt;NASALib/topology@prelude_sets_aux -->
<g id="edge72" class="edge">
<title>NASALib/topology@topology&#45;&gt;NASALib/topology@prelude_sets_aux</title>
<path fill="none" stroke="black" d="M1471.06,-238.83C1486.16,-229.22 1506.16,-216.49 1523.18,-205.66"/>
<polygon fill="black" stroke="black" points="1524.72,-208.19 1531.28,-199.87 1520.96,-202.29 1524.72,-208.19"/>
</g>
<!-- NASALib/topology@topology&#45;&gt;NASALib/topology@topology_def -->
<g id="edge73" class="edge">
<title>NASALib/topology@topology&#45;&gt;NASALib/topology@topology_def</title>
<path fill="none" stroke="black" d="M1433.39,-237.26C1425.63,-228.64 1415.93,-217.86 1407.25,-208.23"/>
<polygon fill="black" stroke="black" points="1410.26,-206.22 1400.97,-201.13 1405.06,-210.91 1410.26,-206.22"/>
</g>
<!-- NASALib/topology@topology&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge74" class="edge">
<title>NASALib/topology@topology&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M1484.02,-243.84C1555.62,-224.64 1709,-183.5 1709,-183.5"/>
<path fill="none" stroke="black" d="M1709,-181.5C1709,-181.5 1464,-107 1464,-107"/>
</g>
<!-- NASALib/topology@topology_def&#45;&gt;NASALib/sets_aux -->
<g id="edge75" class="edge">
<title>NASALib/topology@topology_def&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1431.45,-170.83C1446.31,-167.41 1459,-164.5 1459,-164.5 1459,-164.5 2128,-156.5 2128,-156.5 2128,-156.5 2138.27,-144.67 2148.78,-132.58"/>
<polygon fill="black" stroke="black" points="2152.04,-135.16 2155.96,-125.31 2146.76,-130.57 2152.04,-135.16"/>
</g>
<!-- NASALib/topology@topology_def&#45;&gt;NASALib/topology@basis -->
<g id="edge76" class="edge">
<title>NASALib/topology@topology_def&#45;&gt;NASALib/topology@basis</title>
<path fill="none" stroke="black" d="M1392.19,-164.22C1395.93,-155.22 1400.6,-144.02 1404.8,-133.92"/>
<polygon fill="black" stroke="black" points="1408.35,-135.51 1408.96,-124.93 1401.88,-132.82 1408.35,-135.51"/>
</g>
<!-- NASALib/topology@topology_def&#45;&gt;NASALib/topology@topology_prelim -->
<g id="edge77" class="edge">
<title>NASALib/topology@topology_def&#45;&gt;NASALib/topology@topology_prelim</title>
<path fill="none" stroke="black" d="M1380.14,-164.14C1378.94,-159.87 1378,-156.5 1378,-156.5 1378,-156.5 1378,-80 1378,-80 1378,-80 1386.01,-70.51 1394.68,-60.24"/>
<polygon fill="black" stroke="black" points="1397.86,-62.91 1401.63,-53.01 1392.51,-58.39 1397.86,-62.91"/>
</g>
</g>
</svg>