Complete semiring