This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8] and Schmets [13].