Definition:Subsemiring
Jump to navigation
Jump to search
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.