Also,the semiring-semimodule pairs of formal power series with coefficients in such a semiring-semimodule pairs is discussed.
讨论了系数在一些半环半模对中的形式幂级数半环半模对,证明了系数为双归纳半环半模对的形式幂级数半环半模对(双μ-半环半模对,双*-μ-半环半模对,双λ-半环半模对,双*-λ-半环半模对)仍然是双归纳半环半模对(双μ-半环半模对,双*-μ-半环半模对,双λ-半环半模对,双*-λ-半环半模对),给出了系数为双弱归纳半环半模对的形式幂级数半环半模对仍然是双弱归纳半环半模对的充要条件。