A halmazok gyűrűje halmazok nem üres rendszere, amely véges számú elem metszéspontja és szimmetrikus különbsége alatt zárt . Ez azt jelenti, hogy bármely elemnél és a gyűrűből az elemek és a gyűrűben is fekszenek.
Az általános algebra szempontjából a halmazgyûrû olyan asszociatív kommutatív gyûrû , amelyben a szimmetrikus differencia mûvelet az összeadás, a metszés pedig a szorzás. A semleges elem szerepe az összeadás tekintetében nyilvánvalóan az üres halmaz . Előfordulhat, hogy a halmazok gyűrűjében nem lehet semleges elem szorzás útján. Például a valós egyenes összes korlátos részhalmazának gyűrűjében nincs szorzás útján semleges elem [1] .
Néhány tulajdonság: