Assumed that (S,+,.) is a semiring. Semiring algebra structure as generalization of ring. A set I⊆S called an ideal over semiring S if for any α,β∈I, we have α-β∈I and sα=αs∈I every s in S. Based on this definition, there special condition namely prime P, when αβ∈P, then could prove α or β are elements P. Furthermore, I irreducible Ia intersection from B S, I=A I=B. We also know the strongly no...