完全半環

完全半環(complete semiring)一種特殊半環.它是比閉半環更廣泛的具有無限和代數運算的代數結構一個完全半環。

定義

完全半環(complete semiring)一種特殊半環.它是比閉半環更廣泛的具有無限和代數運算的代數結構一個完全半環(K,+,·，藝)滿足:

條件

1. <K,+,·,0,1)是一個含零元和單位元的加法可換半環.

2.對每個指標集1，以及K的子集{二EK}iEI},藝規定為滿足下列條件的運算:

完全半環在理論計算機學科中有著十分重要的套用價值.