The theory in relation to implication in the forward mixed hypergraph is given, and some theorems in relation to eliminating redundancy in inverse mixed hypergraph are given partially.

• 给出了正向混合超图中与蕴涵有关的理论，同时，还部分地给出了逆向混合超图中的与消除冗余有关的几个定理。