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.