Definition, synonyms and related words
A nonempty set for which the set of all subsets forms a semiring.