In this paper, some theorems relevant to eliminating redundancy based on a mixed hypergraph are discussed and the theory is improved.

• 摘要文中讨论了基于混合超图的有关冗余消除的部分定理，完善了这一理论。