orders/orders-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: orders&#45;zoomed Pages: 1 -->
<svg width="3761pt" height="758pt"
 viewBox="0.00 0.00 3761.00 757.50" 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 753.5)">
<title>orders&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-753.5 3757,-753.5 3757,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="3657,-372.5 3657,-449 3741,-449 3741,-372.5 3657,-372.5"/>
<text text-anchor="middle" x="3699" y="-431.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/orders</title>
<polygon fill="none" stroke="black" points="8,-8 8,-741.5 3649,-741.5 3649,-8 8,-8"/>
<text text-anchor="middle" x="1828.5" y="-724.2" font-family="Times,serif" font-size="14.00">NASALib/orders</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="3657,-152 3657,-228.5 3745,-228.5 3745,-152 3657,-152"/>
<text text-anchor="middle" x="3701" y="-211.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/orders@booleans_are_finite -->
<g id="node1" class="node">
<title>NASALib/orders@booleans_are_finite</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3135" cy="-547" rx="83.6" ry="18"/>
<text text-anchor="middle" x="3135" y="-541.95" font-family="Times,serif" font-size="14.00">booleans_are_finite</text>
</g>
<!-- NASALib/orders@finite_total_orders -->
<g id="node21" class="node">
<title>NASALib/orders@finite_total_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3233" cy="-475" rx="78.99" ry="18"/>
<text text-anchor="middle" x="3233" y="-469.95" font-family="Times,serif" font-size="14.00">finite_total_orders</text>
</g>
<!-- NASALib/orders@booleans_are_finite&#45;&gt;NASALib/orders@finite_total_orders -->
<g id="edge1" class="edge">
<title>NASALib/orders@booleans_are_finite&#45;&gt;NASALib/orders@finite_total_orders</title>
<path fill="none" stroke="black" d="M3158.22,-529.41C3171.04,-520.26 3187.14,-508.76 3201.12,-498.77"/>
<polygon fill="black" stroke="black" points="3202.84,-501.13 3208.94,-492.47 3198.77,-495.43 3202.84,-501.13"/>
</g>
<!-- NASALib/orders@finite_types -->
<g id="node22" class="node">
<title>NASALib/orders@finite_types</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3180" cy="-326.5" rx="54.42" ry="18"/>
<text text-anchor="middle" x="3180" y="-321.45" font-family="Times,serif" font-size="14.00">finite_types</text>
</g>
<!-- NASALib/orders@booleans_are_finite&#45;&gt;NASALib/orders@finite_types -->
<g id="edge2" class="edge">
<title>NASALib/orders@booleans_are_finite&#45;&gt;NASALib/orders@finite_types</title>
<path fill="none" stroke="black" d="M3136.93,-528.84C3139.83,-502.98 3145,-457 3145,-457 3145,-457 3162.26,-393.15 3172.54,-355.12"/>
<polygon fill="black" stroke="black" points="3176.12,-356.26 3175.35,-345.7 3169.36,-354.44 3176.12,-356.26"/>
</g>
<!-- NASALib/orders@bounded_integers -->
<g id="node2" class="node">
<title>NASALib/orders@bounded_integers</title>
<ellipse fill="#e6f3ff" stroke="black" cx="751" cy="-547" rx="76.43" ry="18"/>
<text text-anchor="middle" x="751" y="-541.95" font-family="Times,serif" font-size="14.00">bounded_integers</text>
</g>
<!-- NASALib/orders@non_empty_bounded_sets -->
<g id="node46" class="node">
<title>NASALib/orders@non_empty_bounded_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2806" cy="-475" rx="107.65" ry="18"/>
<text text-anchor="middle" x="2806" y="-469.95" font-family="Times,serif" font-size="14.00">non_empty_bounded_sets</text>
</g>
<!-- NASALib/orders@bounded_integers&#45;&gt;NASALib/orders@non_empty_bounded_sets -->
<g id="edge3" class="edge">
<title>NASALib/orders@bounded_integers&#45;&gt;NASALib/orders@non_empty_bounded_sets</title>
<path fill="none" stroke="black" d="M807.88,-534.76C823.88,-531.59 837,-529 837,-529 837,-529 2267.22,-490.5 2689.79,-479.13"/>
<polygon fill="black" stroke="black" points="2689.58,-482.61 2699.49,-478.84 2689.4,-475.61 2689.58,-482.61"/>
</g>
<!-- NASALib/orders@bounded_nats -->
<g id="node3" class="node">
<title>NASALib/orders@bounded_nats</title>
<ellipse fill="#e6f3ff" stroke="black" cx="391" cy="-619" rx="62.1" ry="18"/>
<text text-anchor="middle" x="391" y="-613.95" font-family="Times,serif" font-size="14.00">bounded_nats</text>
</g>
<!-- NASALib/orders@bounded_nats&#45;&gt;NASALib/orders@bounded_integers -->
<g id="edge4" class="edge">
<title>NASALib/orders@bounded_nats&#45;&gt;NASALib/orders@bounded_integers</title>
<path fill="none" stroke="black" d="M437.57,-606.85C450.95,-603.65 462,-601 462,-601 462,-601 595.96,-576.43 681.48,-560.75"/>
<polygon fill="black" stroke="black" points="681.96,-564.04 691.17,-558.79 680.7,-557.15 681.96,-564.04"/>
</g>
<!-- NASALib/orders@bounded_order_props -->
<g id="node4" class="node">
<title>NASALib/orders@bounded_order_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2408" cy="-178" rx="91.78" ry="18"/>
<text text-anchor="middle" x="2408" y="-172.95" font-family="Times,serif" font-size="14.00">bounded_order_props</text>
</g>
<!-- NASALib/orders@bounded_orders -->
<g id="node5" class="node">
<title>NASALib/orders@bounded_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1813" cy="-106" rx="70.29" ry="18"/>
<text text-anchor="middle" x="1813" y="-100.95" font-family="Times,serif" font-size="14.00">bounded_orders</text>
</g>
<!-- NASALib/orders@bounded_order_props&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge5" class="edge">
<title>NASALib/orders@bounded_order_props&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M2330.82,-167.92C2215.53,-154.36 1999.79,-128.98 1886.61,-115.66"/>
<polygon fill="black" stroke="black" points="1887.32,-112.1 1876.98,-114.41 1886.5,-119.05 1887.32,-112.1"/>
</g>
<!-- NASALib/orders@relations_extra -->
<g id="node63" class="node">
<title>NASALib/orders@relations_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1724" cy="-34" rx="65.68" ry="18"/>
<text text-anchor="middle" x="1724" y="-28.95" font-family="Times,serif" font-size="14.00">relations_extra</text>
</g>
<!-- NASALib/orders@bounded_orders&#45;&gt;NASALib/orders@relations_extra -->
<g id="edge6" class="edge">
<title>NASALib/orders@bounded_orders&#45;&gt;NASALib/orders@relations_extra</title>
<path fill="none" stroke="black" d="M1791.91,-88.41C1780.38,-79.34 1765.92,-67.97 1753.32,-58.06"/>
<polygon fill="black" stroke="black" points="1755.96,-54.9 1745.94,-51.47 1751.64,-60.4 1755.96,-54.9"/>
</g>
<!-- NASALib/orders@bounded_sets -->
<g id="node6" class="node">
<title>NASALib/orders@bounded_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3086" cy="-178" rx="61.08" ry="18"/>
<text text-anchor="middle" x="3086" y="-172.95" font-family="Times,serif" font-size="14.00">bounded_sets</text>
</g>
<!-- NASALib/orders@bounded_sets&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge7" class="edge">
<title>NASALib/orders@bounded_sets&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3041.56,-165.31C3016.83,-158.8 2991,-152 2991,-152 2991,-152 2158.05,-120.18 1892.98,-110.06"/>
<polygon fill="black" stroke="black" points="1893.42,-106.53 1883.29,-109.65 1893.15,-113.53 1893.42,-106.53"/>
</g>
<!-- NASALib/orders@chain -->
<g id="node7" class="node">
<title>NASALib/orders@chain</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1979" cy="-178" rx="30.88" ry="18"/>
<text text-anchor="middle" x="1979" y="-172.95" font-family="Times,serif" font-size="14.00">chain</text>
</g>
<!-- NASALib/orders@chain_chain -->
<g id="node8" class="node">
<title>NASALib/orders@chain_chain</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2080" cy="-254.5" rx="55.45" ry="18"/>
<text text-anchor="middle" x="2080" y="-249.45" font-family="Times,serif" font-size="14.00">chain_chain</text>
</g>
<!-- NASALib/orders@chain_chain&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge8" class="edge">
<title>NASALib/orders@chain_chain&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M2095.76,-236.97C2116.67,-215.02 2151,-179 2151,-179"/>
<path fill="none" stroke="black" d="M2151,-177C2151,-177 1975.29,-140.61 1877.24,-120.3"/>
<polygon fill="black" stroke="black" points="1878.06,-116.69 1867.56,-118.09 1876.64,-123.55 1878.06,-116.69"/>
</g>
<!-- NASALib/orders@chain_chain&#45;&gt;NASALib/orders@chain -->
<g id="edge9" class="edge">
<title>NASALib/orders@chain_chain&#45;&gt;NASALib/orders@chain</title>
<path fill="none" stroke="black" d="M2058.58,-237.7C2043.34,-226.46 2022.73,-211.26 2006.31,-199.14"/>
<polygon fill="black" stroke="black" points="2008.8,-195.89 1998.67,-192.77 2004.64,-201.53 2008.8,-195.89"/>
</g>
<!-- NASALib/orders@closure_ops -->
<g id="node9" class="node">
<title>NASALib/orders@closure_ops</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1219" cy="-178" rx="54.93" ry="18"/>
<text text-anchor="middle" x="1219" y="-172.95" font-family="Times,serif" font-size="14.00">closure_ops</text>
</g>
<!-- NASALib/orders@indexed_sets_extra -->
<g id="node25" class="node">
<title>NASALib/orders@indexed_sets_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1385" cy="-106" rx="81.55" ry="18"/>
<text text-anchor="middle" x="1385" y="-100.95" font-family="Times,serif" font-size="14.00">indexed_sets_extra</text>
</g>
<!-- NASALib/orders@closure_ops&#45;&gt;NASALib/orders@indexed_sets_extra -->
<g id="edge10" class="edge">
<title>NASALib/orders@closure_ops&#45;&gt;NASALib/orders@indexed_sets_extra</title>
<path fill="none" stroke="black" d="M1251.8,-163.17C1276.54,-152.74 1310.81,-138.28 1338.4,-126.65"/>
<polygon fill="black" stroke="black" points="1339.37,-129.62 1347.23,-122.51 1336.65,-123.17 1339.37,-129.62"/>
</g>
<!-- NASALib/orders@relation_iterate -->
<g id="node62" class="node">
<title>NASALib/orders@relation_iterate</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1219" cy="-106" rx="66.71" ry="18"/>
<text text-anchor="middle" x="1219" y="-100.95" font-family="Times,serif" font-size="14.00">relation_iterate</text>
</g>
<!-- NASALib/orders@closure_ops&#45;&gt;NASALib/orders@relation_iterate -->
<g id="edge11" class="edge">
<title>NASALib/orders@closure_ops&#45;&gt;NASALib/orders@relation_iterate</title>
<path fill="none" stroke="black" d="M1219,-159.7C1219,-152.24 1219,-143.32 1219,-134.97"/>
<polygon fill="black" stroke="black" points="1222.5,-135.1 1219,-125.1 1215.5,-135.1 1222.5,-135.1"/>
</g>
<!-- NASALib/orders@complementary_lattices -->
<g id="node10" class="node">
<title>NASALib/orders@complementary_lattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3541" cy="-398.5" rx="99.97" ry="18"/>
<text text-anchor="middle" x="3541" y="-393.45" font-family="Times,serif" font-size="14.00">complementary_lattices</text>
</g>
<!-- NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge12" class="edge">
<title>NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3481,-253.5C3481,-253.5 3375,-228.5 3375,-228.5 3375,-228.5 3365,-179 3365,-179"/>
<path fill="none" stroke="black" d="M3552.79,-380.15C3563.29,-364.69 3577,-344.5 3577,-344.5 3577,-344.5 3577,-308.5 3577,-308.5 3577,-308.5 3481,-255.5 3481,-255.5"/>
</g>
<!-- NASALib/orders@complementary_orders -->
<g id="node11" class="node">
<title>NASALib/orders@complementary_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3481" cy="-178" rx="96.9" ry="18"/>
<text text-anchor="middle" x="3481" y="-172.95" font-family="Times,serif" font-size="14.00">complementary_orders</text>
</g>
<!-- NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@complementary_orders -->
<g id="edge13" class="edge">
<title>NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@complementary_orders</title>
<path fill="none" stroke="black" d="M3481,-253.5C3481,-253.5 3481,-228.2 3481,-207.09"/>
<polygon fill="black" stroke="black" points="3484.5,-207.28 3481,-197.28 3477.5,-207.28 3484.5,-207.28"/>
</g>
<!-- NASALib/orders@function_image_extra -->
<g id="node24" class="node">
<title>NASALib/orders@function_image_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3476" cy="-326.5" rx="92.3" ry="18"/>
<text text-anchor="middle" x="3476" y="-321.45" font-family="Times,serif" font-size="14.00">function_image_extra</text>
</g>
<!-- NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@function_image_extra -->
<g id="edge14" class="edge">
<title>NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@function_image_extra</title>
<path fill="none" stroke="black" d="M3525.27,-380.55C3517.36,-372.04 3507.63,-361.57 3498.92,-352.18"/>
<polygon fill="black" stroke="black" points="3501.96,-350.24 3492.59,-345.29 3496.83,-355 3501.96,-350.24"/>
</g>
<!-- NASALib/orders@lattices -->
<g id="node33" class="node">
<title>NASALib/orders@lattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3309" cy="-326.5" rx="37.02" ry="18"/>
<text text-anchor="middle" x="3309" y="-321.45" font-family="Times,serif" font-size="14.00">lattices</text>
</g>
<!-- NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@lattices -->
<g id="edge15" class="edge">
<title>NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@lattices</title>
<path fill="none" stroke="black" d="M3490.1,-382.6C3436.56,-366.92 3360,-344.5 3360,-344.5 3360,-344.5 3355.51,-343 3349.2,-340.9"/>
<polygon fill="black" stroke="black" points="3350.56,-337.33 3339.96,-337.49 3348.34,-343.97 3350.56,-337.33"/>
</g>
<!-- NASALib/orders@minmax_orders -->
<g id="node41" class="node">
<title>NASALib/orders@minmax_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2223" cy="-254.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="2223" y="-249.45" font-family="Times,serif" font-size="14.00">minmax_orders</text>
</g>
<!-- NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge16" class="edge">
<title>NASALib/orders@complementary_lattices&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M3481.08,-383.76C3455.75,-377.95 3432,-372.5 3432,-372.5 3432,-372.5 3263,-344.5 3263,-344.5 3263,-344.5 3243,-308.5 3243,-308.5 3243,-308.5 2541.11,-272.03 2301.81,-259.6"/>
<polygon fill="black" stroke="black" points="2302.28,-256.06 2292.11,-259.04 2301.92,-263.05 2302.28,-256.06"/>
</g>
<!-- NASALib/orders@complementary_orders&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge17" class="edge">
<title>NASALib/orders@complementary_orders&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3420.95,-163.48C3394.8,-157.59 3370,-152 3370,-152 3370,-152 2211.69,-118.52 1893.2,-109.32"/>
<polygon fill="black" stroke="black" points="1893.77,-105.8 1883.67,-109.01 1893.57,-112.8 1893.77,-105.8"/>
</g>
<!-- NASALib/orders@complete_lattices -->
<g id="node12" class="node">
<title>NASALib/orders@complete_lattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2988" cy="-398.5" rx="75.92" ry="18"/>
<text text-anchor="middle" x="2988" y="-393.45" font-family="Times,serif" font-size="14.00">complete_lattices</text>
</g>
<!-- NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge18" class="edge">
<title>NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3051.51,-388.33C3156.55,-373.16 3355,-344.5 3355,-344.5 3355,-344.5 3365,-327.5 3365,-327.5"/>
<path fill="none" stroke="black" d="M3365,-325.5C3365,-325.5 3365,-255.5 3365,-255.5"/>
</g>
<!-- NASALib/orders@complete_lower_semilattices -->
<g id="node13" class="node">
<title>NASALib/orders@complete_lower_semilattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2731" cy="-326.5" rx="119.42" ry="18"/>
<text text-anchor="middle" x="2731" y="-321.45" font-family="Times,serif" font-size="14.00">complete_lower_semilattices</text>
</g>
<!-- NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@complete_lower_semilattices -->
<g id="edge19" class="edge">
<title>NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@complete_lower_semilattices</title>
<path fill="none" stroke="black" d="M2939.36,-384.25C2899.21,-373.32 2841.83,-357.69 2797.45,-345.6"/>
<polygon fill="black" stroke="black" points="2798.61,-342.02 2788.04,-342.76 2796.77,-348.77 2798.61,-342.02"/>
</g>
<!-- NASALib/orders@complete_upper_semilattices -->
<g id="node14" class="node">
<title>NASALib/orders@complete_upper_semilattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2988" cy="-326.5" rx="119.42" ry="18"/>
<text text-anchor="middle" x="2988" y="-321.45" font-family="Times,serif" font-size="14.00">complete_upper_semilattices</text>
</g>
<!-- NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@complete_upper_semilattices -->
<g id="edge20" class="edge">
<title>NASALib/orders@complete_lattices&#45;&gt;NASALib/orders@complete_upper_semilattices</title>
<path fill="none" stroke="black" d="M2988,-380.2C2988,-372.74 2988,-363.82 2988,-355.47"/>
<polygon fill="black" stroke="black" points="2991.5,-355.6 2988,-345.6 2984.5,-355.6 2991.5,-355.6"/>
</g>
<!-- NASALib/orders@complete_lower_semilattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge21" class="edge">
<title>NASALib/orders@complete_lower_semilattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M2986,-177C2986,-177 2154.56,-127.38 1891.68,-111.7"/>
<polygon fill="black" stroke="black" points="1891.9,-108.14 1881.71,-111.04 1891.48,-115.13 1891.9,-108.14"/>
<path fill="none" stroke="black" d="M2986,-253.5C2986,-253.5 2986,-179 2986,-179"/>
<path fill="none" stroke="black" d="M2786.96,-310.14C2862.02,-289.53 2986,-255.5 2986,-255.5"/>
</g>
<!-- NASALib/orders@lower_semilattices -->
<g id="node40" class="node">
<title>NASALib/orders@lower_semilattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3086" cy="-254.5" rx="80.52" ry="18"/>
<text text-anchor="middle" x="3086" y="-249.45" font-family="Times,serif" font-size="14.00">lower_semilattices</text>
</g>
<!-- NASALib/orders@complete_lower_semilattices&#45;&gt;NASALib/orders@lower_semilattices -->
<g id="edge22" class="edge">
<title>NASALib/orders@complete_lower_semilattices&#45;&gt;NASALib/orders@lower_semilattices</title>
<path fill="none" stroke="black" d="M2801.56,-311.59C2863.97,-299.28 2954.5,-281.43 3016.57,-269.19"/>
<polygon fill="black" stroke="black" points="3016.91,-272.49 3026.04,-267.13 3015.55,-265.63 3016.91,-272.49"/>
</g>
<!-- NASALib/orders@complete_upper_semilattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge23" class="edge">
<title>NASALib/orders@complete_upper_semilattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M2987.51,-308.2C2986.91,-287.47 2986,-255.5 2986,-255.5"/>
</g>
<!-- NASALib/orders@upper_semilattices -->
<g id="node75" class="node">
<title>NASALib/orders@upper_semilattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3265" cy="-254.5" rx="80.52" ry="18"/>
<text text-anchor="middle" x="3265" y="-249.45" font-family="Times,serif" font-size="14.00">upper_semilattices</text>
</g>
<!-- NASALib/orders@complete_upper_semilattices&#45;&gt;NASALib/orders@upper_semilattices -->
<g id="edge24" class="edge">
<title>NASALib/orders@complete_upper_semilattices&#45;&gt;NASALib/orders@upper_semilattices</title>
<path fill="none" stroke="black" d="M3047.42,-310.48C3093.14,-298.93 3156.15,-283.01 3202.6,-271.27"/>
<polygon fill="black" stroke="black" points="3203.3,-274.45 3212.13,-268.61 3201.58,-267.66 3203.3,-274.45"/>
</g>
<!-- NASALib/orders@converse_zorn -->
<g id="node15" class="node">
<title>NASALib/orders@converse_zorn</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2575" cy="-398.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="2575" y="-393.45" font-family="Times,serif" font-size="14.00">converse_zorn</text>
</g>
<!-- NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@chain -->
<g id="edge25" class="edge">
<title>NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@chain</title>
<path fill="none" stroke="black" d="M2568.83,-380.34C2559.53,-354.48 2543,-308.5 2543,-308.5 2543,-308.5 2302,-236.5 2302,-236.5 2302,-236.5 2146,-228.5 2146,-228.5 2146,-228.5 2065.74,-204.71 2016.5,-190.11"/>
<polygon fill="black" stroke="black" points="2017.79,-186.55 2007.2,-187.06 2015.8,-193.26 2017.79,-186.55"/>
</g>
<!-- NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge26" class="edge">
<title>NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2538.55,-383.3C2498.27,-367.6 2439,-344.5 2439,-344.5 2439,-344.5 2429,-327.5 2429,-327.5"/>
<path fill="none" stroke="black" d="M2429,-325.5C2429,-325.5 2419,-308.5 2419,-308.5 2419,-308.5 2338.29,-286.68 2280.46,-271.04"/>
<polygon fill="black" stroke="black" points="2281.51,-267.43 2270.95,-268.19 2279.69,-274.18 2281.51,-267.43"/>
</g>
<!-- NASALib/orders@zorn -->
<g id="node83" class="node">
<title>NASALib/orders@zorn</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2025" cy="-326.5" rx="27.3" ry="18"/>
<text text-anchor="middle" x="2025" y="-321.45" font-family="Times,serif" font-size="14.00">zorn</text>
</g>
<!-- NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@zorn -->
<g id="edge27" class="edge">
<title>NASALib/orders@converse_zorn&#45;&gt;NASALib/orders@zorn</title>
<path fill="none" stroke="black" d="M2535.51,-383.98C2518.31,-378.09 2502,-372.5 2502,-372.5 2502,-372.5 2081,-344.5 2081,-344.5 2081,-344.5 2071.12,-341.5 2059.67,-338.02"/>
<polygon fill="black" stroke="black" points="2060.99,-334.46 2050.4,-334.91 2058.95,-341.16 2060.99,-334.46"/>
</g>
<!-- NASALib/orders@directed_order_props -->
<g id="node16" class="node">
<title>NASALib/orders@directed_order_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2403" cy="-398.5" rx="89.74" ry="18"/>
<text text-anchor="middle" x="2403" y="-393.45" font-family="Times,serif" font-size="14.00">directed_order_props</text>
</g>
<!-- NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@bounded_order_props -->
<g id="edge28" class="edge">
<title>NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@bounded_order_props</title>
<path fill="none" stroke="black" d="M2443.87,-382.03C2485.19,-366.38 2543,-344.5 2543,-344.5 2543,-344.5 2543,-308.5 2543,-308.5 2543,-308.5 2472.61,-240.98 2433.49,-203.45"/>
<polygon fill="black" stroke="black" points="2436.29,-201.33 2426.65,-196.93 2431.44,-206.38 2436.29,-201.33"/>
</g>
<!-- NASALib/orders@directed_orders -->
<g id="node17" class="node">
<title>NASALib/orders@directed_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1780" cy="-326.5" rx="68.24" ry="18"/>
<text text-anchor="middle" x="1780" y="-321.45" font-family="Times,serif" font-size="14.00">directed_orders</text>
</g>
<!-- NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@directed_orders -->
<g id="edge29" class="edge">
<title>NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@directed_orders</title>
<path fill="none" stroke="black" d="M2348.58,-383.76C2325.57,-377.95 2304,-372.5 2304,-372.5 2304,-372.5 1857,-344.5 1857,-344.5 1857,-344.5 1850.66,-343.1 1841.63,-341.11"/>
<polygon fill="black" stroke="black" points="1842.45,-337.48 1831.93,-338.74 1840.94,-344.32 1842.45,-337.48"/>
</g>
<!-- NASALib/orders@partial_order_props -->
<g id="node57" class="node">
<title>NASALib/orders@partial_order_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2326" cy="-326.5" rx="83.6" ry="18"/>
<text text-anchor="middle" x="2326" y="-321.45" font-family="Times,serif" font-size="14.00">partial_order_props</text>
</g>
<!-- NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@partial_order_props -->
<g id="edge30" class="edge">
<title>NASALib/orders@directed_order_props&#45;&gt;NASALib/orders@partial_order_props</title>
<path fill="none" stroke="black" d="M2384.36,-380.55C2374.88,-371.93 2363.18,-361.3 2352.76,-351.82"/>
<polygon fill="black" stroke="black" points="2355.49,-349.67 2345.73,-345.53 2350.78,-354.85 2355.49,-349.67"/>
</g>
<!-- NASALib/orders@directed_orders&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge31" class="edge">
<title>NASALib/orders@directed_orders&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M1795,-177C1795,-177 1800.8,-154.45 1805.81,-134.95"/>
<polygon fill="black" stroke="black" points="1809.45,-135.86 1808.55,-125.3 1802.67,-134.12 1809.45,-135.86"/>
</g>
<!-- NASALib/orders@directed_orders&#45;&gt;NASALib/orders@chain -->
<g id="edge32" class="edge">
<title>NASALib/orders@directed_orders&#45;&gt;NASALib/orders@chain</title>
<path fill="none" stroke="black" d="M1795.05,-308.76C1818.22,-282.98 1860,-236.5 1860,-236.5 1860,-236.5 1911.08,-211.82 1946.31,-194.79"/>
<polygon fill="black" stroke="black" points="1947.29,-197.73 1954.77,-190.22 1944.25,-191.42 1947.29,-197.73"/>
</g>
<!-- NASALib/orders@directed_orders&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge33" class="edge">
<title>NASALib/orders@directed_orders&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M1830.93,-314.26C1845.25,-311.09 1857,-308.5 1857,-308.5 1857,-308.5 2144,-272.5 2144,-272.5 2144,-272.5 2150.64,-271.07 2160.07,-269.04"/>
<polygon fill="black" stroke="black" points="2160.71,-272.27 2169.75,-266.74 2159.23,-265.43 2160.71,-272.27"/>
</g>
<!-- NASALib/orders@ordered_subset -->
<g id="node52" class="node">
<title>NASALib/orders@ordered_subset</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1511" cy="-254.5" rx="66.71" ry="18"/>
<text text-anchor="middle" x="1511" y="-249.45" font-family="Times,serif" font-size="14.00">ordered_subset</text>
</g>
<!-- NASALib/orders@directed_orders&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge34" class="edge">
<title>NASALib/orders@directed_orders&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1732.53,-313.15C1686.58,-301.19 1616.88,-283.05 1567.96,-270.32"/>
<polygon fill="black" stroke="black" points="1569.11,-266.74 1558.55,-267.61 1567.34,-273.52 1569.11,-266.74"/>
</g>
<!-- NASALib/orders@directed_orders&#45;&gt;NASALib/orders@relations_extra -->
<g id="edge35" class="edge">
<title>NASALib/orders@directed_orders&#45;&gt;NASALib/orders@relations_extra</title>
<path fill="none" stroke="black" d="M1781.78,-308.12C1785.75,-269.31 1795,-179 1795,-179"/>
<path fill="none" stroke="black" d="M1795,-177C1795,-177 1734,-124 1734,-124 1734,-124 1724,-107 1724,-107"/>
</g>
<!-- NASALib/orders@finite_below -->
<g id="node18" class="node">
<title>NASALib/orders@finite_below</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2147" cy="-326.5" rx="57.49" ry="18"/>
<text text-anchor="middle" x="2147" y="-321.45" font-family="Times,serif" font-size="14.00">finite_below</text>
</g>
<!-- NASALib/orders@finite_below&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge36" class="edge">
<title>NASALib/orders@finite_below&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M2112.92,-311.71C2074.11,-296.01 2016,-272.5 2016,-272.5 2016,-272.5 1996,-236.5 1996,-236.5 1996,-236.5 1790,-228.5 1790,-228.5 1790,-228.5 1431.23,-197.4 1282.46,-184.5"/>
<polygon fill="black" stroke="black" points="1282.96,-180.94 1272.69,-183.57 1282.36,-187.92 1282.96,-180.94"/>
</g>
<!-- NASALib/orders@finite_below&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge37" class="edge">
<title>NASALib/orders@finite_below&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2164.63,-309.26C2174.27,-300.38 2186.4,-289.21 2197.1,-279.35"/>
<polygon fill="black" stroke="black" points="2198.96,-282.48 2203.94,-273.13 2194.21,-277.33 2198.96,-282.48"/>
</g>
<!-- NASALib/orders@finite_orders -->
<g id="node19" class="node">
<title>NASALib/orders@finite_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3365" cy="-398.5" rx="58" ry="18"/>
<text text-anchor="middle" x="3365" y="-393.45" font-family="Times,serif" font-size="14.00">finite_orders</text>
</g>
<!-- NASALib/orders@finite_orders&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge38" class="edge">
<title>NASALib/orders@finite_orders&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3365,-380.2C3365,-359.47 3365,-327.5 3365,-327.5"/>
</g>
<!-- NASALib/orders@finite_orders&#45;&gt;NASALib/orders@finite_types -->
<g id="edge39" class="edge">
<title>NASALib/orders@finite_orders&#45;&gt;NASALib/orders@finite_types</title>
<path fill="none" stroke="black" d="M3329.33,-384C3299.58,-372.75 3257.03,-356.65 3224.95,-344.51"/>
<polygon fill="black" stroke="black" points="3226.52,-340.98 3215.93,-340.72 3224.05,-347.53 3226.52,-340.98"/>
</g>
<!-- NASALib/orders@finite_pointwise_orders -->
<g id="node20" class="node">
<title>NASALib/orders@finite_pointwise_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="766" cy="-691" rx="98.44" ry="18"/>
<text text-anchor="middle" x="766" y="-685.95" font-family="Times,serif" font-size="14.00">finite_pointwise_orders</text>
</g>
<!-- NASALib/orders@infinite_pigeonhole -->
<g id="node26" class="node">
<title>NASALib/orders@infinite_pigeonhole</title>
<ellipse fill="#e6f3ff" stroke="black" cx="554" cy="-619" rx="83.08" ry="18"/>
<text text-anchor="middle" x="554" y="-613.95" font-family="Times,serif" font-size="14.00">infinite_pigeonhole</text>
</g>
<!-- NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@infinite_pigeonhole -->
<g id="edge40" class="edge">
<title>NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@infinite_pigeonhole</title>
<path fill="none" stroke="black" d="M719.74,-674.72C687.06,-663.93 643.13,-649.43 608.7,-638.06"/>
<polygon fill="black" stroke="black" points="609.94,-634.46 599.35,-634.64 607.75,-641.1 609.94,-634.46"/>
</g>
<!-- NASALib/orders@integer_enumerations -->
<g id="node27" class="node">
<title>NASALib/orders@integer_enumerations</title>
<ellipse fill="#e6f3ff" stroke="black" cx="766" cy="-619" rx="91.27" ry="18"/>
<text text-anchor="middle" x="766" y="-613.95" font-family="Times,serif" font-size="14.00">integer_enumerations</text>
</g>
<!-- NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@integer_enumerations -->
<g id="edge41" class="edge">
<title>NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@integer_enumerations</title>
<path fill="none" stroke="black" d="M766,-672.7C766,-665.24 766,-656.32 766,-647.97"/>
<polygon fill="black" stroke="black" points="769.5,-648.1 766,-638.1 762.5,-648.1 769.5,-648.1"/>
</g>
<!-- NASALib/orders@numbers_infinite -->
<g id="node47" class="node">
<title>NASALib/orders@numbers_infinite</title>
<ellipse fill="#e6f3ff" stroke="black" cx="959" cy="-619" rx="74.38" ry="18"/>
<text text-anchor="middle" x="959" y="-613.95" font-family="Times,serif" font-size="14.00">numbers_infinite</text>
</g>
<!-- NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@numbers_infinite -->
<g id="edge42" class="edge">
<title>NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@numbers_infinite</title>
<path fill="none" stroke="black" d="M808.83,-674.46C838.37,-663.75 877.73,-649.48 908.75,-638.23"/>
<polygon fill="black" stroke="black" points="909.72,-641.24 917.92,-634.54 907.33,-634.66 909.72,-641.24"/>
</g>
<!-- NASALib/orders@pointwise_orders -->
<g id="node58" class="node">
<title>NASALib/orders@pointwise_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="288" cy="-326.5" rx="74.38" ry="18"/>
<text text-anchor="middle" x="288" y="-321.45" font-family="Times,serif" font-size="14.00">pointwise_orders</text>
</g>
<!-- NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@pointwise_orders -->
<g id="edge43" class="edge">
<title>NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@pointwise_orders</title>
<path fill="none" stroke="black" d="M927,-474C927,-474 908,-372.5 908,-372.5 908,-372.5 371,-344.5 371,-344.5 371,-344.5 364.02,-343.07 354.1,-341.04"/>
<polygon fill="black" stroke="black" points="354.86,-337.42 344.36,-338.84 353.46,-344.27 354.86,-337.42"/>
<path fill="none" stroke="black" d="M656,-618C656,-618 666,-529 666,-529 666,-529 862,-493 862,-493 862,-493 927,-476 927,-476"/>
</g>
<!-- NASALib/orders@well_foundedness -->
<g id="node76" class="node">
<title>NASALib/orders@well_foundedness</title>
<ellipse fill="#e6f3ff" stroke="black" cx="118" cy="-326.5" rx="77.45" ry="18"/>
<text text-anchor="middle" x="118" y="-321.45" font-family="Times,serif" font-size="14.00">well_foundedness</text>
</g>
<!-- NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@well_foundedness -->
<g id="edge44" class="edge">
<title>NASALib/orders@finite_pointwise_orders&#45;&gt;NASALib/orders@well_foundedness</title>
<path fill="none" stroke="black" d="M734.91,-673.52C705.55,-657.96 666,-637 666,-637 666,-637 656,-620 656,-620"/>
<path fill="none" stroke="black" d="M656,-618C656,-618 646,-601 646,-601 646,-601 229,-372.5 229,-372.5 229,-372.5 195.52,-358.93 165.33,-346.69"/>
<polygon fill="black" stroke="black" points="166.85,-343.12 156.27,-342.61 164.22,-349.61 166.85,-343.12"/>
</g>
<!-- NASALib/orders@finite_total_orders&#45;&gt;NASALib/orders@finite_orders -->
<g id="edge45" class="edge">
<title>NASALib/orders@finite_total_orders&#45;&gt;NASALib/orders@finite_orders</title>
<path fill="none" stroke="black" d="M3261.64,-457.83C3281.15,-446.83 3307.15,-432.15 3328.19,-420.28"/>
<polygon fill="black" stroke="black" points="3329.78,-422.83 3336.77,-414.87 3326.34,-416.74 3329.78,-422.83"/>
</g>
<!-- NASALib/orders@total_lattices -->
<g id="node73" class="node">
<title>NASALib/orders@total_lattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2806" cy="-398.5" rx="58" ry="18"/>
<text text-anchor="middle" x="2806" y="-393.45" font-family="Times,serif" font-size="14.00">total_lattices</text>
</g>
<!-- NASALib/orders@finite_total_orders&#45;&gt;NASALib/orders@total_lattices -->
<g id="edge46" class="edge">
<title>NASALib/orders@finite_total_orders&#45;&gt;NASALib/orders@total_lattices</title>
<path fill="none" stroke="black" d="M3158.94,-468.39C3061.65,-461.02 2903,-449 2903,-449 2903,-449 2872,-433.18 2845.05,-419.43"/>
<polygon fill="black" stroke="black" points="2846.86,-415.91 2836.37,-414.49 2843.68,-422.15 2846.86,-415.91"/>
</g>
<!-- NASALib/orders@fixed_points -->
<g id="node23" class="node">
<title>NASALib/orders@fixed_points</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2728" cy="-547" rx="56.98" ry="18"/>
<text text-anchor="middle" x="2728" y="-541.95" font-family="Times,serif" font-size="14.00">fixed_points</text>
</g>
<!-- NASALib/orders@fixed_points&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge47" class="edge">
<title>NASALib/orders@fixed_points&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2715.66,-529.23C2704.23,-513.7 2689,-493 2689,-493 2689,-493 2664,-372.5 2664,-372.5 2664,-372.5 2603,-344.5 2603,-344.5 2603,-344.5 2543,-308.5 2543,-308.5 2543,-308.5 2385.11,-282.35 2291.15,-266.79"/>
<polygon fill="black" stroke="black" points="2292.02,-263.22 2281.58,-265.04 2290.87,-270.12 2292.02,-263.22"/>
</g>
<!-- NASALib/orders@integer_enumerations&#45;&gt;NASALib/orders@bounded_integers -->
<g id="edge48" class="edge">
<title>NASALib/orders@integer_enumerations&#45;&gt;NASALib/orders@bounded_integers</title>
<path fill="none" stroke="black" d="M762.29,-600.7C760.68,-593.15 758.74,-584.12 756.93,-575.68"/>
<polygon fill="black" stroke="black" points="760.18,-575.15 754.67,-566.1 753.34,-576.62 760.18,-575.15"/>
</g>
<!-- NASALib/orders@isomorphism -->
<g id="node28" class="node">
<title>NASALib/orders@isomorphism</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1174" cy="-254.5" rx="60.05" ry="18"/>
<text text-anchor="middle" x="1174" y="-249.45" font-family="Times,serif" font-size="14.00">isomorphism</text>
</g>
<!-- NASALib/orders@isomorphism&#45;&gt;NASALib/orders@relations_extra -->
<g id="edge49" class="edge">
<title>NASALib/orders@isomorphism&#45;&gt;NASALib/orders@relations_extra</title>
<path fill="none" stroke="black" d="M1219.25,-242.35C1232.26,-239.15 1243,-236.5 1243,-236.5 1243,-236.5 1283,-228.5 1283,-228.5 1283,-228.5 1724,-107 1724,-107"/>
<path fill="none" stroke="black" d="M1724,-105C1724,-105 1724,-82.66 1724,-63.22"/>
<polygon fill="black" stroke="black" points="1727.5,-63.3 1724,-53.3 1720.5,-63.3 1727.5,-63.3"/>
</g>
<!-- NASALib/orders@isomorphism_equivalence -->
<g id="node29" class="node">
<title>NASALib/orders@isomorphism_equivalence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="716" cy="-326.5" rx="108.67" ry="18"/>
<text text-anchor="middle" x="716" y="-321.45" font-family="Times,serif" font-size="14.00">isomorphism_equivalence</text>
</g>
<!-- NASALib/orders@isomorphism_equivalence&#45;&gt;NASALib/orders@isomorphism -->
<g id="edge50" class="edge">
<title>NASALib/orders@isomorphism_equivalence&#45;&gt;NASALib/orders@isomorphism</title>
<path fill="none" stroke="black" d="M795.66,-313.93C816.38,-310.92 833,-308.5 833,-308.5 833,-308.5 1100,-272.5 1100,-272.5 1100,-272.5 1107.14,-270.86 1116.98,-268.6"/>
<polygon fill="black" stroke="black" points="1117.59,-271.82 1126.55,-266.17 1116.03,-265 1117.59,-271.82"/>
</g>
<!-- NASALib/orders@isomorphism_symmetric -->
<g id="node30" class="node">
<title>NASALib/orders@isomorphism_symmetric</title>
<ellipse fill="#e6f3ff" stroke="black" cx="485" cy="-326.5" rx="104.58" ry="18"/>
<text text-anchor="middle" x="485" y="-321.45" font-family="Times,serif" font-size="14.00">isomorphism_symmetric</text>
</g>
<!-- NASALib/orders@isomorphism_symmetric&#45;&gt;NASALib/orders@isomorphism -->
<g id="edge51" class="edge">
<title>NASALib/orders@isomorphism_symmetric&#45;&gt;NASALib/orders@isomorphism</title>
<path fill="none" stroke="black" d="M561.94,-313.93C581.94,-310.92 598,-308.5 598,-308.5 598,-308.5 1100,-272.5 1100,-272.5 1100,-272.5 1107.14,-270.86 1116.98,-268.6"/>
<polygon fill="black" stroke="black" points="1117.59,-271.82 1126.55,-266.17 1116.03,-265 1117.59,-271.82"/>
</g>
<!-- NASALib/orders@isomorphism_transitive -->
<g id="node31" class="node">
<title>NASALib/orders@isomorphism_transitive</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1053" cy="-326.5" rx="98.95" ry="18"/>
<text text-anchor="middle" x="1053" y="-321.45" font-family="Times,serif" font-size="14.00">isomorphism_transitive</text>
</g>
<!-- NASALib/orders@isomorphism_transitive&#45;&gt;NASALib/orders@isomorphism -->
<g id="edge52" class="edge">
<title>NASALib/orders@isomorphism_transitive&#45;&gt;NASALib/orders@isomorphism</title>
<path fill="none" stroke="black" d="M1081.68,-308.91C1098.58,-299.13 1120.11,-286.68 1138.13,-276.25"/>
<polygon fill="black" stroke="black" points="1139.29,-279.05 1146.19,-271.01 1135.78,-272.99 1139.29,-279.05"/>
</g>
<!-- NASALib/orders@kuratowski -->
<g id="node32" class="node">
<title>NASALib/orders@kuratowski</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2081" cy="-398.5" rx="51.86" ry="18"/>
<text text-anchor="middle" x="2081" y="-393.45" font-family="Times,serif" font-size="14.00">kuratowski</text>
</g>
<!-- NASALib/orders@kuratowski&#45;&gt;NASALib/orders@chain_chain -->
<g id="edge53" class="edge">
<title>NASALib/orders@kuratowski&#45;&gt;NASALib/orders@chain_chain</title>
<path fill="none" stroke="black" d="M2080.88,-380.09C2080.71,-356 2080.4,-312.25 2080.2,-283.53"/>
<polygon fill="black" stroke="black" points="2083.69,-283.59 2080.12,-273.61 2076.69,-283.64 2083.69,-283.59"/>
</g>
<!-- NASALib/orders@kuratowski&#45;&gt;NASALib/orders@zorn -->
<g id="edge54" class="edge">
<title>NASALib/orders@kuratowski&#45;&gt;NASALib/orders@zorn</title>
<path fill="none" stroke="black" d="M2067.73,-380.91C2060.7,-372.12 2051.93,-361.16 2044.17,-351.46"/>
<polygon fill="black" stroke="black" points="2046.39,-349.63 2037.41,-344.01 2040.92,-354.01 2046.39,-349.63"/>
</g>
<!-- NASALib/orders@lattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge55" class="edge">
<title>NASALib/orders@lattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3322.8,-309.6C3336.35,-293.99 3355,-272.5 3355,-272.5 3355,-272.5 3365,-255.5 3365,-255.5"/>
<path fill="none" stroke="black" d="M3365,-253.5C3365,-253.5 3365,-179 3365,-179"/>
</g>
<!-- NASALib/orders@lattices&#45;&gt;NASALib/orders@lower_semilattices -->
<g id="edge56" class="edge">
<title>NASALib/orders@lattices&#45;&gt;NASALib/orders@lower_semilattices</title>
<path fill="none" stroke="black" d="M3279.04,-315.51C3267.94,-311.81 3258,-308.5 3258,-308.5 3258,-308.5 3192.67,-288.37 3142.53,-272.92"/>
<polygon fill="black" stroke="black" points="3143.68,-269.3 3133.09,-269.7 3141.62,-275.99 3143.68,-269.3"/>
</g>
<!-- NASALib/orders@lattices&#45;&gt;NASALib/orders@upper_semilattices -->
<g id="edge57" class="edge">
<title>NASALib/orders@lattices&#45;&gt;NASALib/orders@upper_semilattices</title>
<path fill="none" stroke="black" d="M3298.57,-308.91C3293.44,-300.75 3287.14,-290.72 3281.38,-281.57"/>
<polygon fill="black" stroke="black" points="3283.94,-280.06 3275.66,-273.46 3278.02,-283.79 3283.94,-280.06"/>
</g>
<!-- NASALib/orders@le -->
<g id="node34" class="node">
<title>NASALib/orders@le</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2769" cy="-691" rx="27" ry="18"/>
<text text-anchor="middle" x="2769" y="-685.95" font-family="Times,serif" font-size="14.00">le</text>
</g>
<!-- NASALib/orders@lex2_generic -->
<g id="node35" class="node">
<title>NASALib/orders@lex2_generic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2506" cy="-691" rx="58.52" ry="18"/>
<text text-anchor="middle" x="2506" y="-685.95" font-family="Times,serif" font-size="14.00">lex2_generic</text>
</g>
<!-- NASALib/orders@lex2_more -->
<g id="node36" class="node">
<title>NASALib/orders@lex2_more</title>
<ellipse fill="#e6f3ff" stroke="black" cx="632" cy="-398.5" rx="50.84" ry="18"/>
<text text-anchor="middle" x="632" y="-393.45" font-family="Times,serif" font-size="14.00">lex2_more</text>
</g>
<!-- NASALib/orders@lex2_more&#45;&gt;NASALib/orders@well_foundedness -->
<g id="edge58" class="edge">
<title>NASALib/orders@lex2_more&#45;&gt;NASALib/orders@well_foundedness</title>
<path fill="none" stroke="black" d="M598.36,-384.56C582.5,-378.46 567,-372.5 567,-372.5 567,-372.5 205,-344.5 205,-344.5 205,-344.5 197.37,-343.01 186.64,-340.91"/>
<polygon fill="black" stroke="black" points="187.52,-337.32 177.03,-338.84 186.17,-344.19 187.52,-337.32"/>
</g>
<!-- NASALib/orders@lex3_alt -->
<g id="node37" class="node">
<title>NASALib/orders@lex3_alt</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2071" cy="-691" rx="40.6" ry="18"/>
<text text-anchor="middle" x="2071" y="-685.95" font-family="Times,serif" font-size="14.00">lex3_alt</text>
</g>
<!-- NASALib/orders@lift_props -->
<g id="node38" class="node">
<title>NASALib/orders@lift_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1913" cy="-326.5" rx="46.75" ry="18"/>
<text text-anchor="middle" x="1913" y="-321.45" font-family="Times,serif" font-size="14.00">lift_props</text>
</g>
<!-- NASALib/orders@lifted_orders -->
<g id="node39" class="node">
<title>NASALib/orders@lifted_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1479" cy="-398.5" rx="58" ry="18"/>
<text text-anchor="middle" x="1479" y="-393.45" font-family="Times,serif" font-size="14.00">lifted_orders</text>
</g>
<!-- NASALib/orders@lifted_orders&#45;&gt;NASALib/orders@directed_orders -->
<g id="edge59" class="edge">
<title>NASALib/orders@lifted_orders&#45;&gt;NASALib/orders@directed_orders</title>
<path fill="none" stroke="black" d="M1514.85,-384.12C1530.78,-378.18 1546,-372.5 1546,-372.5 1546,-372.5 1703,-344.5 1703,-344.5 1703,-344.5 1709.34,-343.1 1718.37,-341.11"/>
<polygon fill="black" stroke="black" points="1719.06,-344.32 1728.07,-338.74 1717.55,-337.48 1719.06,-344.32"/>
</g>
<!-- NASALib/orders@lifted_orders&#45;&gt;NASALib/orders@lift_props -->
<g id="edge60" class="edge">
<title>NASALib/orders@lifted_orders&#45;&gt;NASALib/orders@lift_props</title>
<path fill="none" stroke="black" d="M1514.85,-384.12C1530.78,-378.18 1546,-372.5 1546,-372.5 1546,-372.5 1857,-344.5 1857,-344.5 1857,-344.5 1860.98,-343.29 1866.82,-341.52"/>
<polygon fill="black" stroke="black" points="1867.67,-344.62 1876.22,-338.36 1865.63,-337.92 1867.67,-344.62"/>
</g>
<!-- NASALib/orders@lower_semilattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge61" class="edge">
<title>NASALib/orders@lower_semilattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3044.47,-238.67C3029.4,-233.29 3016,-228.5 3016,-228.5 3016,-228.5 2986,-179 2986,-179"/>
</g>
<!-- NASALib/orders@lower_semilattices&#45;&gt;NASALib/orders@bounded_sets -->
<g id="edge62" class="edge">
<title>NASALib/orders@lower_semilattices&#45;&gt;NASALib/orders@bounded_sets</title>
<path fill="none" stroke="black" d="M3086,-236.22C3086,-227.63 3086,-217.03 3086,-207.3"/>
<polygon fill="black" stroke="black" points="3089.5,-207.44 3086,-197.44 3082.5,-207.44 3089.5,-207.44"/>
</g>
<!-- NASALib/orders@minmax_orders&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge63" class="edge">
<title>NASALib/orders@minmax_orders&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M2206.66,-236.59C2185.42,-214.61 2151,-179 2151,-179"/>
</g>
<!-- lib/finite_sets -->
<g id="node85" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="3736.75,-196 3665.25,-196 3665.25,-160 3736.75,-160 3736.75,-196"/>
<text text-anchor="middle" x="3701" y="-172.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/orders@minmax_orders&#45;&gt;lib/finite_sets -->
<g id="edge64" class="edge">
<title>NASALib/orders@minmax_orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M2292.28,-251.98C2482.01,-247.8 2996,-236.5 2996,-236.5 2996,-236.5 3653,-228.5 3653,-228.5 3653,-228.5 3664.91,-216.22 3676.87,-203.89"/>
<polygon fill="black" stroke="black" points="3678.76,-206.93 3683.21,-197.31 3673.74,-202.06 3678.76,-206.93"/>
</g>
<!-- NASALib/orders@monotone_functions -->
<g id="node42" class="node">
<title>NASALib/orders@monotone_functions</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1339" cy="-254.5" rx="87.18" ry="18"/>
<text text-anchor="middle" x="1339" y="-249.45" font-family="Times,serif" font-size="14.00">monotone_functions</text>
</g>
<!-- NASALib/orders@monotone_functions&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge65" class="edge">
<title>NASALib/orders@monotone_functions&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M1312.37,-236.97C1294.88,-226.11 1271.86,-211.81 1253.04,-200.14"/>
<polygon fill="black" stroke="black" points="1255.26,-196.77 1244.92,-194.47 1251.57,-202.72 1255.26,-196.77"/>
</g>
<!-- NASALib/orders@monotone_sequences -->
<g id="node43" class="node">
<title>NASALib/orders@monotone_sequences</title>
<ellipse fill="#e6f3ff" stroke="black" cx="112" cy="-254.5" rx="90.25" ry="18"/>
<text text-anchor="middle" x="112" y="-249.45" font-family="Times,serif" font-size="14.00">monotone_sequences</text>
</g>
<!-- NASALib/orders@monotone_sequences&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge66" class="edge">
<title>NASALib/orders@monotone_sequences&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M180.21,-242.35C199.81,-239.15 216,-236.5 216,-236.5 216,-236.5 932.35,-195.43 1154.26,-182.71"/>
<polygon fill="black" stroke="black" points="1154.29,-186.16 1164.07,-182.09 1153.89,-179.17 1154.29,-186.16"/>
</g>
<!-- NASALib/orders@mucalculus_prop -->
<g id="node44" class="node">
<title>NASALib/orders@mucalculus_prop</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1302" cy="-691" rx="74.89" ry="18"/>
<text text-anchor="middle" x="1302" y="-685.95" font-family="Times,serif" font-size="14.00">mucalculus_prop</text>
</g>
<!-- NASALib/orders@new_mucalculus_prop -->
<g id="node45" class="node">
<title>NASALib/orders@new_mucalculus_prop</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2988" cy="-691" rx="94.86" ry="18"/>
<text text-anchor="middle" x="2988" y="-685.95" font-family="Times,serif" font-size="14.00">new_mucalculus_prop</text>
</g>
<!-- NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@complementary_lattices -->
<g id="edge67" class="edge">
<title>NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@complementary_lattices</title>
<path fill="none" stroke="black" d="M3019.74,-673.67C3050.01,-658.09 3091,-637 3091,-637 3091,-637 3228,-565 3228,-565 3228,-565 3415.53,-465.84 3500.28,-421.03"/>
<polygon fill="black" stroke="black" points="3501.64,-423.74 3508.84,-415.97 3498.37,-417.55 3501.64,-423.74"/>
</g>
<!-- NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@fixed_points -->
<g id="edge68" class="edge">
<title>NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@fixed_points</title>
<path fill="none" stroke="black" d="M2956.26,-673.67C2925.99,-658.09 2885,-637 2885,-637 2885,-637 2810.81,-594.94 2764.43,-568.65"/>
<polygon fill="black" stroke="black" points="2766.41,-565.19 2755.99,-563.3 2762.96,-571.28 2766.41,-565.19"/>
</g>
<!-- NASALib/orders@sets_complete_lattices -->
<g id="node66" class="node">
<title>NASALib/orders@sets_complete_lattices</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2988" cy="-619" rx="94.34" ry="18"/>
<text text-anchor="middle" x="2988" y="-613.95" font-family="Times,serif" font-size="14.00">sets_complete_lattices</text>
</g>
<!-- NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@sets_complete_lattices -->
<g id="edge69" class="edge">
<title>NASALib/orders@new_mucalculus_prop&#45;&gt;NASALib/orders@sets_complete_lattices</title>
<path fill="none" stroke="black" d="M2988,-672.7C2988,-665.24 2988,-656.32 2988,-647.97"/>
<polygon fill="black" stroke="black" points="2991.5,-648.1 2988,-638.1 2984.5,-648.1 2991.5,-648.1"/>
</g>
<!-- NASALib/orders@non_empty_bounded_sets&#45;&gt;NASALib/orders@total_lattices -->
<g id="edge70" class="edge">
<title>NASALib/orders@non_empty_bounded_sets&#45;&gt;NASALib/orders@total_lattices</title>
<path fill="none" stroke="black" d="M2806,-456.72C2806,-448.13 2806,-437.53 2806,-427.8"/>
<polygon fill="black" stroke="black" points="2809.5,-427.94 2806,-417.94 2802.5,-427.94 2809.5,-427.94"/>
</g>
<!-- NASALib/orders@omega -->
<g id="node48" class="node">
<title>NASALib/orders@omega</title>
<ellipse fill="#e6f3ff" stroke="black" cx="863" cy="-398.5" rx="36" ry="18"/>
<text text-anchor="middle" x="863" y="-393.45" font-family="Times,serif" font-size="14.00">omega</text>
</g>
<!-- NASALib/orders@omega&#45;&gt;NASALib/orders@well_foundedness -->
<g id="edge71" class="edge">
<title>NASALib/orders@omega&#45;&gt;NASALib/orders@well_foundedness</title>
<path fill="none" stroke="black" d="M839.45,-384.41C828.56,-378.37 818,-372.5 818,-372.5 818,-372.5 205,-344.5 205,-344.5 205,-344.5 197.37,-343.01 186.64,-340.91"/>
<polygon fill="black" stroke="black" points="187.52,-337.32 177.03,-338.84 186.17,-344.19 187.52,-337.32"/>
</g>
<!-- NASALib/orders@omega&#45;&gt;lib/finite_sets -->
<g id="edge72" class="edge">
<title>NASALib/orders@omega&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M893.21,-388.62C917.64,-381.43 948,-372.5 948,-372.5 948,-372.5 3577,-344.5 3577,-344.5 3577,-344.5 3646.55,-251.68 3681.47,-205.06"/>
<polygon fill="black" stroke="black" points="3684.77,-207.5 3687.96,-197.4 3679.17,-203.3 3684.77,-207.5"/>
</g>
<!-- NASALib/orders@order_strength -->
<g id="node49" class="node">
<title>NASALib/orders@order_strength</title>
<ellipse fill="#e6f3ff" stroke="black" cx="947" cy="-691" rx="64.66" ry="18"/>
<text text-anchor="middle" x="947" y="-685.95" font-family="Times,serif" font-size="14.00">order_strength</text>
</g>
<!-- NASALib/orders@ordered_int -->
<g id="node50" class="node">
<title>NASALib/orders@ordered_int</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1431" cy="-326.5" rx="53.4" ry="18"/>
<text text-anchor="middle" x="1431" y="-321.45" font-family="Times,serif" font-size="14.00">ordered_int</text>
</g>
<!-- NASALib/orders@ordered_int&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge73" class="edge">
<title>NASALib/orders@ordered_int&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M1471.32,-314.45C1483.16,-311.2 1493,-308.5 1493,-308.5 1493,-308.5 2144,-272.5 2144,-272.5 2144,-272.5 2150.64,-271.07 2160.07,-269.04"/>
<polygon fill="black" stroke="black" points="2160.71,-272.27 2169.75,-266.74 2159.23,-265.43 2160.71,-272.27"/>
</g>
<!-- NASALib/orders@ordered_int&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge74" class="edge">
<title>NASALib/orders@ordered_int&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1449.55,-309.26C1459.71,-300.38 1472.47,-289.21 1483.74,-279.35"/>
<polygon fill="black" stroke="black" points="1485.77,-281.35 1490.99,-272.13 1481.16,-276.08 1485.77,-281.35"/>
</g>
<!-- NASALib/orders@ordered_nat -->
<g id="node51" class="node">
<title>NASALib/orders@ordered_nat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="248" cy="-691" rx="54.93" ry="18"/>
<text text-anchor="middle" x="248" y="-685.95" font-family="Times,serif" font-size="14.00">ordered_nat</text>
</g>
<!-- NASALib/orders@ordered_nat&#45;&gt;NASALib/orders@bounded_nats -->
<g id="edge75" class="edge">
<title>NASALib/orders@ordered_nat&#45;&gt;NASALib/orders@bounded_nats</title>
<path fill="none" stroke="black" d="M277.63,-675.5C298.82,-665.12 327.58,-651.04 350.83,-639.66"/>
<polygon fill="black" stroke="black" points="351.98,-642.51 359.42,-634.97 348.9,-636.22 351.98,-642.51"/>
</g>
<!-- NASALib/orders@ordered_nat&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge76" class="edge">
<title>NASALib/orders@ordered_nat&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1359,-325.5C1359,-325.5 1369,-308.5 1369,-308.5 1369,-308.5 1421.59,-288.87 1462.76,-273.5"/>
<polygon fill="black" stroke="black" points="1463.8,-276.48 1471.95,-269.7 1461.35,-269.92 1463.8,-276.48"/>
<path fill="none" stroke="black" d="M261.54,-673.26C282.4,-647.48 320,-601 320,-601 320,-601 796,-493 796,-493 796,-493 908,-449 908,-449 908,-449 948,-372.5 948,-372.5 948,-372.5 1349,-344.5 1349,-344.5 1349,-344.5 1359,-327.5 1359,-327.5"/>
</g>
<!-- NASALib/orders@ordered_subset&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge77" class="edge">
<title>NASALib/orders@ordered_subset&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M1463.76,-241.45C1411.25,-228.05 1326.66,-206.47 1271.95,-192.51"/>
<polygon fill="black" stroke="black" points="1272.98,-188.9 1262.42,-189.82 1271.25,-195.69 1272.98,-188.9"/>
</g>
<!-- NASALib/orders@orders_int -->
<g id="node53" class="node">
<title>NASALib/orders@orders_int</title>
<ellipse fill="#e6f3ff" stroke="black" cx="601" cy="-691" rx="48.28" ry="18"/>
<text text-anchor="middle" x="601" y="-685.95" font-family="Times,serif" font-size="14.00">orders_int</text>
</g>
<!-- NASALib/orders@orders_nat -->
<g id="node54" class="node">
<title>NASALib/orders@orders_nat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="485" cy="-691" rx="49.82" ry="18"/>
<text text-anchor="middle" x="485" y="-685.95" font-family="Times,serif" font-size="14.00">orders_nat</text>
</g>
<!-- NASALib/orders@orders_rat -->
<g id="node55" class="node">
<title>NASALib/orders@orders_rat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="369" cy="-691" rx="48.28" ry="18"/>
<text text-anchor="middle" x="369" y="-685.95" font-family="Times,serif" font-size="14.00">orders_rat</text>
</g>
<!-- NASALib/orders@partial_order_lift -->
<g id="node56" class="node">
<title>NASALib/orders@partial_order_lift</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1629" cy="-398.5" rx="73.87" ry="18"/>
<text text-anchor="middle" x="1629" y="-393.45" font-family="Times,serif" font-size="14.00">partial_order_lift</text>
</g>
<!-- NASALib/orders@partial_order_lift&#45;&gt;NASALib/orders@directed_orders -->
<g id="edge78" class="edge">
<title>NASALib/orders@partial_order_lift&#45;&gt;NASALib/orders@directed_orders</title>
<path fill="none" stroke="black" d="M1662.14,-382.14C1684.24,-371.89 1713.51,-358.32 1737.35,-347.27"/>
<polygon fill="black" stroke="black" points="1738.6,-350.09 1746.2,-342.71 1735.66,-343.74 1738.6,-350.09"/>
</g>
<!-- NASALib/orders@partial_order_lift&#45;&gt;NASALib/orders@lift_props -->
<g id="edge79" class="edge">
<title>NASALib/orders@partial_order_lift&#45;&gt;NASALib/orders@lift_props</title>
<path fill="none" stroke="black" d="M1673.84,-383.83C1692.98,-377.99 1711,-372.5 1711,-372.5 1711,-372.5 1857,-344.5 1857,-344.5 1857,-344.5 1860.98,-343.29 1866.82,-341.52"/>
<polygon fill="black" stroke="black" points="1867.67,-344.62 1876.22,-338.36 1865.63,-337.92 1867.67,-344.62"/>
</g>
<!-- NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge80" class="edge">
<title>NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M1095,-253.5C1095,-253.5 1105,-236.5 1105,-236.5 1105,-236.5 1283,-228.5 1283,-228.5 1283,-228.5 1612.15,-153.04 1751.67,-121.06"/>
<polygon fill="black" stroke="black" points="1752.22,-124.3 1761.18,-118.65 1750.65,-117.47 1752.22,-124.3"/>
</g>
<!-- NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge81" class="edge">
<title>NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M343.36,-314.16C358.59,-311.04 371,-308.5 371,-308.5 371,-308.5 1095,-255.5 1095,-255.5"/>
<path fill="none" stroke="black" d="M1095,-253.5C1095,-253.5 1105,-236.5 1105,-236.5 1105,-236.5 1147.38,-215.12 1180.46,-198.44"/>
<polygon fill="black" stroke="black" points="1181.59,-201.29 1188.94,-193.66 1178.43,-195.04 1181.59,-201.29"/>
</g>
<!-- NASALib/orders@skolemization -->
<g id="node69" class="node">
<title>NASALib/orders@skolemization</title>
<ellipse fill="#e6f3ff" stroke="black" cx="303" cy="-254.5" rx="63.12" ry="18"/>
<text text-anchor="middle" x="303" y="-249.45" font-family="Times,serif" font-size="14.00">skolemization</text>
</g>
<!-- NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@skolemization -->
<g id="edge82" class="edge">
<title>NASALib/orders@pointwise_orders&#45;&gt;NASALib/orders@skolemization</title>
<path fill="none" stroke="black" d="M291.71,-308.2C293.32,-300.65 295.26,-291.62 297.07,-283.18"/>
<polygon fill="black" stroke="black" points="300.66,-284.12 299.33,-273.6 293.82,-282.65 300.66,-284.12"/>
</g>
<!-- NASALib/orders@product_orders -->
<g id="node59" class="node">
<title>NASALib/orders@product_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1336" cy="-398.5" rx="66.71" ry="18"/>
<text text-anchor="middle" x="1336" y="-393.45" font-family="Times,serif" font-size="14.00">product_orders</text>
</g>
<!-- NASALib/orders@product_orders&#45;&gt;NASALib/orders@directed_orders -->
<g id="edge83" class="edge">
<title>NASALib/orders@product_orders&#45;&gt;NASALib/orders@directed_orders</title>
<path fill="none" stroke="black" d="M1377.11,-383.98C1395.02,-378.09 1412,-372.5 1412,-372.5 1412,-372.5 1703,-344.5 1703,-344.5 1703,-344.5 1709.34,-343.1 1718.37,-341.11"/>
<polygon fill="black" stroke="black" points="1719.06,-344.32 1728.07,-338.74 1717.55,-337.48 1719.06,-344.32"/>
</g>
<!-- NASALib/orders@range -->
<g id="node60" class="node">
<title>NASALib/orders@range</title>
<ellipse fill="#e6f3ff" stroke="black" cx="877" cy="-547" rx="31.39" ry="18"/>
<text text-anchor="middle" x="877" y="-541.95" font-family="Times,serif" font-size="14.00">range</text>
</g>
<!-- NASALib/orders@range&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge84" class="edge">
<title>NASALib/orders@range&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M908.51,-544.28C1146.25,-531.26 2649,-449 2649,-449 2649,-449 2649,-372.5 2649,-372.5 2649,-372.5 2439,-344.5 2439,-344.5 2439,-344.5 2429,-327.5 2429,-327.5"/>
</g>
<!-- NASALib/orders@range_real -->
<g id="node61" class="node">
<title>NASALib/orders@range_real</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1079" cy="-691" rx="49.82" ry="18"/>
<text text-anchor="middle" x="1079" y="-685.95" font-family="Times,serif" font-size="14.00">range_real</text>
</g>
<!-- NASALib/orders@range_real&#45;&gt;NASALib/orders@numbers_infinite -->
<g id="edge85" class="edge">
<title>NASALib/orders@range_real&#45;&gt;NASALib/orders@numbers_infinite</title>
<path fill="none" stroke="black" d="M1053.55,-675.15C1036.8,-665.38 1014.59,-652.43 995.9,-641.53"/>
<polygon fill="black" stroke="black" points="997.9,-638.06 987.5,-636.04 994.38,-644.1 997.9,-638.06"/>
</g>
<!-- NASALib/orders@range_real&#45;&gt;NASALib/orders@range -->
<g id="edge86" class="edge">
<title>NASALib/orders@range_real&#45;&gt;NASALib/orders@range</title>
<path fill="none" stroke="black" d="M1071.87,-672.84C1061.11,-646.98 1042,-601 1042,-601 1042,-601 922,-565 922,-565 922,-565 918.21,-563.57 912.83,-561.53"/>
<polygon fill="black" stroke="black" points="914.25,-557.95 903.65,-557.69 911.77,-564.5 914.25,-557.95"/>
</g>
<!-- NASALib/orders@relation_iterate&#45;&gt;NASALib/orders@relations_extra -->
<g id="edge87" class="edge">
<title>NASALib/orders@relation_iterate&#45;&gt;NASALib/orders@relations_extra</title>
<path fill="none" stroke="black" d="M1269.03,-93.66C1282.78,-90.54 1294,-88 1294,-88 1294,-88 1532.72,-58.58 1654.42,-43.58"/>
<polygon fill="black" stroke="black" points="1654.62,-46.96 1664.11,-42.26 1653.76,-40.01 1654.62,-46.96"/>
</g>
<!-- NASALib/orders@set_antisymmetric -->
<g id="node64" class="node">
<title>NASALib/orders@set_antisymmetric</title>
<ellipse fill="#e6f3ff" stroke="black" cx="96" cy="-691" rx="79.5" ry="18"/>
<text text-anchor="middle" x="96" y="-685.95" font-family="Times,serif" font-size="14.00">set_antisymmetric</text>
</g>
<!-- NASALib/orders@set_dichotomous -->
<g id="node65" class="node">
<title>NASALib/orders@set_dichotomous</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1937" cy="-398.5" rx="73.87" ry="18"/>
<text text-anchor="middle" x="1937" y="-393.45" font-family="Times,serif" font-size="14.00">set_dichotomous</text>
</g>
<!-- NASALib/orders@set_dichotomous&#45;&gt;NASALib/orders@zorn -->
<g id="edge88" class="edge">
<title>NASALib/orders@set_dichotomous&#45;&gt;NASALib/orders@zorn</title>
<path fill="none" stroke="black" d="M1957.85,-380.91C1970.45,-370.9 1986.57,-358.07 1999.87,-347.49"/>
<polygon fill="black" stroke="black" points="2001.48,-349.89 2007.13,-340.92 1997.12,-344.41 2001.48,-349.89"/>
</g>
<!-- NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@booleans_are_finite -->
<g id="edge89" class="edge">
<title>NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@booleans_are_finite</title>
<path fill="none" stroke="black" d="M3022.09,-601.76C3042.84,-591.89 3069.52,-579.18 3091.74,-568.6"/>
<polygon fill="black" stroke="black" points="3093.07,-571.37 3100.6,-563.91 3090.06,-565.05 3093.07,-571.37"/>
</g>
<!-- NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@complete_lattices -->
<g id="edge90" class="edge">
<title>NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@complete_lattices</title>
<path fill="none" stroke="black" d="M2988,-600.85C2988,-563.37 2988,-473.82 2988,-427.83"/>
<polygon fill="black" stroke="black" points="2991.5,-427.87 2988,-417.87 2984.5,-427.87 2991.5,-427.87"/>
</g>
<!-- NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@pointwise_orders -->
<g id="edge91" class="edge">
<title>NASALib/orders@sets_complete_lattices&#45;&gt;NASALib/orders@pointwise_orders</title>
<path fill="none" stroke="black" d="M2900.43,-611.97C2507.6,-584.9 927,-476 927,-476"/>
</g>
<!-- NASALib/orders@similarity -->
<g id="node67" class="node">
<title>NASALib/orders@similarity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="889" cy="-326.5" rx="46.75" ry="18"/>
<text text-anchor="middle" x="889" y="-321.45" font-family="Times,serif" font-size="14.00">similarity</text>
</g>
<!-- NASALib/orders@similarity&#45;&gt;NASALib/orders@isomorphism -->
<g id="edge92" class="edge">
<title>NASALib/orders@similarity&#45;&gt;NASALib/orders@isomorphism</title>
<path fill="none" stroke="black" d="M924.78,-314.64C935.76,-311.31 945,-308.5 945,-308.5 945,-308.5 1049,-284.43 1116.83,-268.73"/>
<polygon fill="black" stroke="black" points="1117.43,-271.95 1126.38,-266.29 1115.85,-265.13 1117.43,-271.95"/>
</g>
<!-- NASALib/orders@similarity_props -->
<g id="node68" class="node">
<title>NASALib/orders@similarity_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2223" cy="-398.5" rx="71.82" ry="18"/>
<text text-anchor="middle" x="2223" y="-393.45" font-family="Times,serif" font-size="14.00">similarity_props</text>
</g>
<!-- NASALib/orders@similarity_props&#45;&gt;NASALib/orders@finite_below -->
<g id="edge93" class="edge">
<title>NASALib/orders@similarity_props&#45;&gt;NASALib/orders@finite_below</title>
<path fill="none" stroke="black" d="M2204.99,-380.91C2195.43,-372.11 2183.51,-361.13 2172.97,-351.42"/>
<polygon fill="black" stroke="black" points="2175.61,-349.17 2165.88,-344.97 2170.87,-354.32 2175.61,-349.17"/>
</g>
<!-- NASALib/orders@similarity_props&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge94" class="edge">
<title>NASALib/orders@similarity_props&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2223,-380.09C2223,-356 2223,-312.25 2223,-283.53"/>
<polygon fill="black" stroke="black" points="2226.5,-283.61 2223,-273.61 2219.5,-283.61 2226.5,-283.61"/>
</g>
<!-- NASALib/orders@similarity_props&#45;&gt;NASALib/orders@similarity -->
<g id="edge95" class="edge">
<title>NASALib/orders@similarity_props&#45;&gt;NASALib/orders@similarity</title>
<path fill="none" stroke="black" d="M2179.18,-383.98C2160.1,-378.09 2142,-372.5 2142,-372.5 2142,-372.5 945,-344.5 945,-344.5 945,-344.5 941.02,-343.29 935.18,-341.52"/>
<polygon fill="black" stroke="black" points="936.37,-337.92 925.78,-338.36 934.33,-344.62 936.37,-337.92"/>
</g>
<!-- NASALib/orders@subset_chain -->
<g id="node70" class="node">
<title>NASALib/orders@subset_chain</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1928" cy="-254.5" rx="58.52" ry="18"/>
<text text-anchor="middle" x="1928" y="-249.45" font-family="Times,serif" font-size="14.00">subset_chain</text>
</g>
<!-- NASALib/orders@subset_chain&#45;&gt;NASALib/orders@chain -->
<g id="edge96" class="edge">
<title>NASALib/orders@subset_chain&#45;&gt;NASALib/orders@chain</title>
<path fill="none" stroke="black" d="M1939.57,-236.59C1946.16,-226.97 1954.55,-214.72 1961.89,-204"/>
<polygon fill="black" stroke="black" points="1965.24,-206.3 1968,-196.07 1959.46,-202.35 1965.24,-206.3"/>
</g>
<!-- NASALib/orders@sum_orders -->
<g id="node71" class="node">
<title>NASALib/orders@sum_orders</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1197" cy="-398.5" rx="54.42" ry="18"/>
<text text-anchor="middle" x="1197" y="-393.45" font-family="Times,serif" font-size="14.00">sum_orders</text>
</g>
<!-- NASALib/orders@sum_orders&#45;&gt;NASALib/orders@directed_orders -->
<g id="edge97" class="edge">
<title>NASALib/orders@sum_orders&#45;&gt;NASALib/orders@directed_orders</title>
<path fill="none" stroke="black" d="M1230.71,-384.12C1245.69,-378.18 1260,-372.5 1260,-372.5 1260,-372.5 1703,-344.5 1703,-344.5 1703,-344.5 1709.34,-343.1 1718.37,-341.11"/>
<polygon fill="black" stroke="black" points="1719.06,-344.32 1728.07,-338.74 1717.55,-337.48 1719.06,-344.32"/>
</g>
<!-- NASALib/orders@termination -->
<g id="node72" class="node">
<title>NASALib/orders@termination</title>
<ellipse fill="#e6f3ff" stroke="black" cx="755" cy="-398.5" rx="53.91" ry="18"/>
<text text-anchor="middle" x="755" y="-393.45" font-family="Times,serif" font-size="14.00">termination</text>
</g>
<!-- NASALib/orders@termination&#45;&gt;NASALib/orders@well_foundedness -->
<g id="edge98" class="edge">
<title>NASALib/orders@termination&#45;&gt;NASALib/orders@well_foundedness</title>
<path fill="none" stroke="black" d="M721.29,-384.12C706.31,-378.18 692,-372.5 692,-372.5 692,-372.5 205,-344.5 205,-344.5 205,-344.5 197.37,-343.01 186.64,-340.91"/>
<polygon fill="black" stroke="black" points="187.52,-337.32 177.03,-338.84 186.17,-344.19 187.52,-337.32"/>
</g>
<!-- NASALib/orders@total_lattices&#45;&gt;NASALib/orders@lattices -->
<g id="edge99" class="edge">
<title>NASALib/orders@total_lattices&#45;&gt;NASALib/orders@lattices</title>
<path fill="none" stroke="black" d="M2849.68,-386.24C2875.42,-379.61 2903,-372.5 2903,-372.5 2903,-372.5 3243,-344.5 3243,-344.5 3243,-344.5 3253.6,-341.77 3266.3,-338.5"/>
<polygon fill="black" stroke="black" points="3266.96,-341.68 3275.77,-335.8 3265.22,-334.91 3266.96,-341.68"/>
</g>
<!-- NASALib/orders@total_lattices&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge100" class="edge">
<title>NASALib/orders@total_lattices&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2756.34,-388.76C2715.39,-381.55 2664,-372.5 2664,-372.5 2664,-372.5 2439,-344.5 2439,-344.5 2439,-344.5 2429,-327.5 2429,-327.5"/>
</g>
<!-- NASALib/orders@traces -->
<g id="node74" class="node">
<title>NASALib/orders@traces</title>
<ellipse fill="#e6f3ff" stroke="black" cx="755" cy="-475" rx="32.41" ry="18"/>
<text text-anchor="middle" x="755" y="-469.95" font-family="Times,serif" font-size="14.00">traces</text>
</g>
<!-- NASALib/orders@traces&#45;&gt;NASALib/orders@termination -->
<g id="edge101" class="edge">
<title>NASALib/orders@traces&#45;&gt;NASALib/orders@termination</title>
<path fill="none" stroke="black" d="M755,-456.72C755,-448.13 755,-437.53 755,-427.8"/>
<polygon fill="black" stroke="black" points="758.5,-427.94 755,-417.94 751.5,-427.94 758.5,-427.94"/>
</g>
<!-- NASALib/structures -->
<g id="node84" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="3733.25,-416.5 3664.75,-416.5 3664.75,-380.5 3733.25,-380.5 3733.25,-416.5"/>
<text text-anchor="middle" x="3699" y="-393.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/orders@traces&#45;&gt;NASALib/structures -->
<g id="edge102" class="edge">
<title>NASALib/orders@traces&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M787.76,-473.71C1041.9,-471.48 2689,-457 2689,-457 2689,-457 3653,-449 3653,-449 3653,-449 3664.2,-436.95 3675.55,-424.73"/>
<polygon fill="black" stroke="black" points="3677.67,-427.52 3681.91,-417.81 3672.54,-422.76 3677.67,-427.52"/>
</g>
<!-- NASALib/orders@upper_semilattices&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge103" class="edge">
<title>NASALib/orders@upper_semilattices&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M3287.19,-236.97C3316.65,-215.02 3365,-179 3365,-179"/>
<path fill="none" stroke="black" d="M3365,-177C3365,-177 3156,-152 3156,-152 3156,-152 2182.58,-119.38 1893.2,-109.69"/>
<polygon fill="black" stroke="black" points="1893.49,-106.16 1883.38,-109.32 1893.25,-113.16 1893.49,-106.16"/>
</g>
<!-- NASALib/orders@upper_semilattices&#45;&gt;NASALib/orders@bounded_sets -->
<g id="edge104" class="edge">
<title>NASALib/orders@upper_semilattices&#45;&gt;NASALib/orders@bounded_sets</title>
<path fill="none" stroke="black" d="M3227.91,-238.06C3199.48,-226.23 3160.16,-209.87 3130.12,-197.36"/>
<polygon fill="black" stroke="black" points="3131.89,-193.89 3121.31,-193.28 3129.2,-200.35 3131.89,-193.89"/>
</g>
<!-- NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@closure_ops -->
<g id="edge105" class="edge">
<title>NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@closure_ops</title>
<path fill="none" stroke="black" d="M146.41,-309.31C173.76,-293.72 211,-272.5 211,-272.5 211,-272.5 231,-236.5 231,-236.5 231,-236.5 935.03,-195.53 1154.49,-182.75"/>
<polygon fill="black" stroke="black" points="1154.4,-186.21 1164.18,-182.13 1153.99,-179.22 1154.4,-186.21"/>
</g>
<!-- NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@monotone_sequences -->
<g id="edge106" class="edge">
<title>NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@monotone_sequences</title>
<path fill="none" stroke="black" d="M116.52,-308.2C115.88,-300.74 115.11,-291.82 114.4,-283.47"/>
<polygon fill="black" stroke="black" points="117.81,-283.27 113.47,-273.6 110.83,-283.87 117.81,-283.27"/>
</g>
<!-- NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@skolemization -->
<g id="edge107" class="edge">
<title>NASALib/orders@well_foundedness&#45;&gt;NASALib/orders@skolemization</title>
<path fill="none" stroke="black" d="M157.23,-310.65C186.11,-299.73 225.48,-284.83 256.03,-273.27"/>
<polygon fill="black" stroke="black" points="256.91,-276.3 265.03,-269.49 254.44,-269.75 256.91,-276.3"/>
</g>
<!-- NASALib/orders@well_foundedness_more -->
<g id="node77" class="node">
<title>NASALib/orders@well_foundedness_more</title>
<ellipse fill="#e6f3ff" stroke="black" cx="118" cy="-398.5" rx="101.51" ry="18"/>
<text text-anchor="middle" x="118" y="-393.45" font-family="Times,serif" font-size="14.00">well_foundedness_more</text>
</g>
<!-- NASALib/orders@well_foundedness_more&#45;&gt;NASALib/orders@well_foundedness -->
<g id="edge108" class="edge">
<title>NASALib/orders@well_foundedness_more&#45;&gt;NASALib/orders@well_foundedness</title>
<path fill="none" stroke="black" d="M118,-380.2C118,-372.74 118,-363.82 118,-355.47"/>
<polygon fill="black" stroke="black" points="121.5,-355.6 118,-345.6 114.5,-355.6 121.5,-355.6"/>
</g>
<!-- NASALib/orders@well_nat -->
<g id="node78" class="node">
<title>NASALib/orders@well_nat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2491" cy="-326.5" rx="42.65" ry="18"/>
<text text-anchor="middle" x="2491" y="-321.45" font-family="Times,serif" font-size="14.00">well_nat</text>
</g>
<!-- NASALib/orders@well_nat&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge109" class="edge">
<title>NASALib/orders@well_nat&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2456.86,-315.32C2444.72,-311.7 2434,-308.5 2434,-308.5 2434,-308.5 2344.63,-286.05 2282.21,-270.37"/>
<polygon fill="black" stroke="black" points="2283.22,-266.77 2272.67,-267.73 2281.52,-273.56 2283.22,-266.77"/>
</g>
<!-- NASALib/orders@well_ordered_finite -->
<g id="node79" class="node">
<title>NASALib/orders@well_ordered_finite</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1041" cy="-398.5" rx="83.6" ry="18"/>
<text text-anchor="middle" x="1041" y="-393.45" font-family="Times,serif" font-size="14.00">well_ordered_finite</text>
</g>
<!-- NASALib/orders@well_ordered_finite&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge110" class="edge">
<title>NASALib/orders@well_ordered_finite&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1091.85,-383.83C1113.57,-377.99 1134,-372.5 1134,-372.5 1134,-372.5 1349,-344.5 1349,-344.5 1349,-344.5 1359,-327.5 1359,-327.5"/>
</g>
<!-- NASALib/orders@well_ordered_traversal -->
<g id="node81" class="node">
<title>NASALib/orders@well_ordered_traversal</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1598" cy="-326.5" rx="95.88" ry="18"/>
<text text-anchor="middle" x="1598" y="-321.45" font-family="Times,serif" font-size="14.00">well_ordered_traversal</text>
</g>
<!-- NASALib/orders@well_ordered_finite&#45;&gt;NASALib/orders@well_ordered_traversal -->
<g id="edge111" class="edge">
<title>NASALib/orders@well_ordered_finite&#45;&gt;NASALib/orders@well_ordered_traversal</title>
<path fill="none" stroke="black" d="M1091.85,-383.83C1113.57,-377.99 1134,-372.5 1134,-372.5 1134,-372.5 1493,-344.5 1493,-344.5 1493,-344.5 1502.86,-342.9 1516.54,-340.69"/>
<polygon fill="black" stroke="black" points="1516.78,-344.03 1526.09,-338.98 1515.66,-337.12 1516.78,-344.03"/>
</g>
<!-- NASALib/orders@well_ordered_props -->
<g id="node80" class="node">
<title>NASALib/orders@well_ordered_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1255" cy="-326.5" rx="84.62" ry="18"/>
<text text-anchor="middle" x="1255" y="-321.45" font-family="Times,serif" font-size="14.00">well_ordered_props</text>
</g>
<!-- NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@isomorphism -->
<g id="edge112" class="edge">
<title>NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@isomorphism</title>
<path fill="none" stroke="black" d="M1235.39,-308.55C1225.17,-299.72 1212.5,-288.77 1201.33,-279.12"/>
<polygon fill="black" stroke="black" points="1204,-275.94 1194.15,-272.05 1199.43,-281.23 1204,-275.94"/>
</g>
<!-- NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@monotone_functions -->
<g id="edge113" class="edge">
<title>NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@monotone_functions</title>
<path fill="none" stroke="black" d="M1275.33,-308.55C1285.96,-299.7 1299.14,-288.72 1310.74,-279.05"/>
<polygon fill="black" stroke="black" points="1312.41,-281.38 1317.85,-272.29 1307.93,-276 1312.41,-281.38"/>
</g>
<!-- NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge114" class="edge">
<title>NASALib/orders@well_ordered_props&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1305.58,-311.67C1348.61,-299.9 1410.35,-283.02 1454.89,-270.84"/>
<polygon fill="black" stroke="black" points="1455.53,-274.02 1464.25,-268.01 1453.68,-267.27 1455.53,-274.02"/>
</g>
<!-- NASALib/orders@well_ordered_traversal&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge115" class="edge">
<title>NASALib/orders@well_ordered_traversal&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M1668.91,-314.02C1687.77,-310.97 1703,-308.5 1703,-308.5 1703,-308.5 2144,-272.5 2144,-272.5 2144,-272.5 2150.64,-271.07 2160.07,-269.04"/>
<polygon fill="black" stroke="black" points="2160.71,-272.27 2169.75,-266.74 2159.23,-265.43 2160.71,-272.27"/>
</g>
<!-- NASALib/orders@well_ordered_traversal&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge116" class="edge">
<title>NASALib/orders@well_ordered_traversal&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M1576.94,-308.55C1565.85,-299.63 1552.09,-288.56 1540,-278.84"/>
<polygon fill="black" stroke="black" points="1542.55,-275.59 1532.57,-272.05 1538.16,-281.04 1542.55,-275.59"/>
</g>
<!-- NASALib/orders@well_ordering -->
<g id="node82" class="node">
<title>NASALib/orders@well_ordering</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1783" cy="-398.5" rx="62.61" ry="18"/>
<text text-anchor="middle" x="1783" y="-393.45" font-family="Times,serif" font-size="14.00">well_ordering</text>
</g>
<!-- NASALib/orders@well_ordering&#45;&gt;NASALib/orders@bounded_orders -->
<g id="edge117" class="edge">
<title>NASALib/orders@well_ordering&#45;&gt;NASALib/orders@bounded_orders</title>
<path fill="none" stroke="black" d="M1821.41,-383.98C1838.14,-378.09 1854,-372.5 1854,-372.5 1854,-372.5 1969,-344.5 1969,-344.5 1969,-344.5 1969,-308.5 1969,-308.5 1969,-308.5 1860,-272.5 1860,-272.5 1860,-272.5 1834.29,-181.98 1820.9,-134.83"/>
<polygon fill="black" stroke="black" points="1824.04,-134.06 1817.94,-125.4 1817.31,-135.97 1824.04,-134.06"/>
</g>
<!-- NASALib/orders@well_ordering&#45;&gt;NASALib/orders@zorn -->
<g id="edge118" class="edge">
<title>NASALib/orders@well_ordering&#45;&gt;NASALib/orders@zorn</title>
<path fill="none" stroke="black" d="M1821.41,-383.98C1838.14,-378.09 1854,-372.5 1854,-372.5 1854,-372.5 1984,-344.5 1984,-344.5 1984,-344.5 1987.52,-343.04 1992.5,-340.98"/>
<polygon fill="black" stroke="black" points="1993.68,-343.86 2001.58,-336.8 1991,-337.39 1993.68,-343.86"/>
</g>
<!-- NASALib/orders@zorn&#45;&gt;NASALib/orders@chain_chain -->
<g id="edge119" class="edge">
<title>NASALib/orders@zorn&#45;&gt;NASALib/orders@chain_chain</title>
<path fill="none" stroke="black" d="M2037.21,-309.96C2043.89,-301.45 2052.35,-290.69 2059.98,-280.98"/>
<polygon fill="black" stroke="black" points="2063.25,-283.49 2066.67,-273.46 2057.74,-279.16 2063.25,-283.49"/>
</g>
<!-- NASALib/orders@zorn&#45;&gt;NASALib/orders@minmax_orders -->
<g id="edge120" class="edge">
<title>NASALib/orders@zorn&#45;&gt;NASALib/orders@minmax_orders</title>
<path fill="none" stroke="black" d="M2048.88,-317.06C2079.38,-306.27 2132.95,-287.34 2172.64,-273.3"/>
<polygon fill="black" stroke="black" points="2173.66,-276.3 2181.92,-269.67 2171.32,-269.7 2173.66,-276.3"/>
</g>
<!-- NASALib/orders@zorn&#45;&gt;NASALib/orders@ordered_subset -->
<g id="edge121" class="edge">
<title>NASALib/orders@zorn&#45;&gt;NASALib/orders@ordered_subset</title>
<path fill="none" stroke="black" d="M2000.6,-318.09C1985.51,-313.51 1969,-308.5 1969,-308.5 1969,-308.5 1710.97,-278.64 1582.26,-263.75"/>
<polygon fill="black" stroke="black" points="1582.68,-260.16 1572.35,-262.48 1581.88,-267.11 1582.68,-260.16"/>
</g>
<!-- NASALib/orders@zorn&#45;&gt;NASALib/orders@subset_chain -->
<g id="edge122" class="edge">
<title>NASALib/orders@zorn&#45;&gt;NASALib/orders@subset_chain</title>
<path fill="none" stroke="black" d="M2007.21,-312.66C1993.64,-302.87 1974.63,-289.15 1958.63,-277.6"/>
<polygon fill="black" stroke="black" points="1961.26,-274.47 1951.11,-271.45 1957.17,-280.14 1961.26,-274.47"/>
</g>
</g>
</svg>