<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="glcolo00.html#K10" title="GLCOLO00:func.10">.tChromaticNum()</a> <a onclick="hs(this)" href="javascript:()">GLCOLO00:def 13 : <br/></a><span> for <font color="Olive" title="b1">G</font> being   <a href="glib_000.html#NM2" title="GLIB_000:NM.2">_Graph</a> holds  <font color="Olive" title="b1">G</font> <a href="glcolo00.html#K10" title="GLCOLO00:func.10">.tChromaticNum()</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a>  <a href="setfam_1.html#K1" title="SETFAM_1:func.1">meet</a> <span class="p1"> { <span class="default"> <font color="Olive" title="b2">c</font> where <font color="Olive" title="b2">c</font> is   <a href="card_1.html#V1" title="CARD_1:attr.1">cardinal</a>  <a href="subset_1.html#NM2" title="SUBSET_1:NM.2">Subset</a> of <span class="p1">(<span class="default"><span class="p2">(<span class="default"><font color="Olive" title="b1">G</font> <a href="glib_000.html#K14" title="GLIB_000:func.14">.order()</a></span>)</span> <a href="card_2.html#K1" title="CARD_2:func.1">+`</a> <span class="p2">(<span class="default"><font color="Olive" title="b1">G</font> <a href="glib_000.html#K16" title="GLIB_000:func.16">.size()</a></span>)</span></span>)</span> : <font color="Olive" title="b1">G</font> is <font color="Olive" title="b2">c</font> <a href="glcolo00.html#V8" title="GLCOLO00:attr.8">-tcolorable</a>  </span> } </span> ;<br/></span></div>
