The concept of semialgebra is given,then the realitionship between the additive can-cellation semialgebras with triviality congruence and algebras over semiring.

• 给出半环上半代数的概念；证明了半环上加法可消半代数；且只有非平凡同余；那么该半代数是半环上的代数.