Semiring Algebra