<?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 2.38.0 (20140413.2041)
 -->
<!-- Title: Set Operation Pages: 1 -->
<svg width="163pt" height="27pt"
 viewBox="0.00 0.00 163.00 27.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 23)">
<title>Set Operation</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-23 159,-23 159,4 -4,4"/>
<!-- Node0 -->
<g id="node1" class="node"><title>Node0</title>
<polygon fill="#bfbfbf" stroke="black" points="82,-0.5 82,-18.5 155,-18.5 155,-0.5 82,-0.5"/>
<text text-anchor="middle" x="118.5" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00">Set Operation</text>
</g>
<!-- Node1 -->
<g id="node2" class="node"><title>Node1</title>
<g id="a_node2"><a xlink:href="a01436.html" target="_top" xlink:title="Sorting">
<polygon fill="white" stroke="black" points="0,-0.5 0,-18.5 46,-18.5 46,-0.5 0,-0.5"/>
<text text-anchor="middle" x="23" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00">Sorting</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node0 -->
<g id="edge1" class="edge"><title>Node1&#45;&gt;Node0</title>
<path fill="none" stroke="black" d="M56.2252,-9.5C64.5309,-9.5 73.5157,-9.5 81.9787,-9.5"/>
<polygon fill="black" stroke="black" points="56.1582,-6.0001 46.1582,-9.5 56.1582,-13.0001 56.1582,-6.0001"/>
</g>
</g>
</svg>