Degree of a trivalent diagram total number of vertices
set generated by trivalent diagrams (AS, STU)
definition of IHX relation