设A非空集合,ρ (A)是集合A的幂集合,∪和∩是集合的并和交运算,其中(ρ (A),∪)是阿贝尔群,(ρ (A),∩)是可交换的幺半群,∩对∪是可分配的,所以(ρ (A),∪,∩)是可交换的含幺环。