:: deftheorem Def5 defines proper GLCOLO00:def 5 :
for G being _Graph
for g being EColoring of G holds
( g is proper iff for v being Vertex of G holds g | (v .edgesInOut()) is one-to-one );