Closed semiring