Schmets  has developed a measure theory from a generalized notion of a semiring of sets. Goguadze  has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota  has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.