Det følger at og er med i : Tar vi en vilkårlig mengde i (som finnes, ved egenskap 1) har vi at komplementet er i ved egenskap 2, og ved egenskap 3 får vi at da må unionen og dens komplement være i .