<?xml version="1.0"?>
<div class="add">

<span class="kw">let </span><font color="Maroon" title="c2">G2</font> be    <a href="glib_012.html#M3" title="GLIB_012:mode.3">LGraphComplement</a> of <font color="Maroon" title="c1">G</font>; <a class="txt" onmouseover="tooltip.show('hs',this)" onmouseout="tooltip.hide()" onclick="hs(this)" href="javascript:()"><span class="comment"><font color="firebrick">::  thesis: </font></span></a><span class="hide"> <font color="Maroon" title="c2">G2</font> is  <a href="glib_008.html#V1" title="GLIB_008:attr.1">edgeless</a> </span><br/>

 <a href="glib_000.html#K7" title="GLIB_000:func.7">the_Edges_of</a> <font color="Maroon" title="c2">G2</font> = 
<font color="Maroon" title="c2">G2</font> <a href="glib_009.html#K1" title="GLIB_009:func.1">.loops()</a> 
<span class="kw">by</span> <span class="lab"><a class="ref" href="glib_012.html#T75" target="_self" onmouseover="rs('glib_012/T75')" onmouseout="rh()">Th75</a></span>
<br/>.= 
 <a href="xboole_0.html#K1" title="XBOOLE_0:func.1">{}</a> 

;<br/>
<span class="kw">hence </span><a NAME="E2:128_1_1"/>
<font color="Maroon" title="c2">G2</font> is  <a href="glib_008.html#V1" title="GLIB_008:attr.1">edgeless</a> 
 ; <a class="txt" onmouseover="tooltip.show('hs',this)" onmouseout="tooltip.hide()" onclick="hs(this)" href="javascript:()"><span class="comment"><font color="firebrick">::  thesis: </font></span></a><span class="hide"> verum</span><br/>


</div>
