Problems concerning the extension of the Baer criterion for injectivity and embedding theorem of an arbitrary module over a ring into an injective module to the case of semirings are treated. It is proved that a semiring ...