Definition:Subsemiring

Definition
Let $$\left({S, +, \circ}\right)$$ be an algebraic structure with two operations.

A subsemiring of $$\left({S, +, \circ}\right)$$ is a subset $$T$$ of $$S$$ such that $$\left({T, +_T, \circ_T}\right)$$ is a semiring.