:: deftheorem defines .tChromaticNum() GLCOLO00:def 13 :
for G being _Graph holds G .tChromaticNum() = meet { c where c is cardinal Subset of ((G .order()) +` (G .size())) : G is c -tcolorable } ;