Talk:Complete semiring