In het kader van de Booleaanse algebra heeft W de set die afgesloten is in het kader van de twee woon-werkverkeersbinaire operaties en die beschreven kan worden door elk van de verschillende postulaten die allemaal afgeleid kunnen worden uit de postulaten dat er voor elke operatie een identiteitselement bestaat, dat elke operatie over elkaar verdeeld is, en dat voor elk element in de set een ander element aanwezig is dat, in combinatie met het eerste deel van een van de operaties, het identiteitselement van de andere operatie oplevert bij het nemen van kruispunten en vakbonden, de deelelementen van een bepaalde set vormen een Booleaanse algebra.
Booleaanse algebra wordt gevormd uit de deelverzamelingen van een bepaalde set, en onder Booleaanse algebra worden bepaalde sets afgesloten onder twee forenzenbinaire opties die beschreven worden door systemen van postulaten, die berekend kunnen worden op basis van de postulaten die elementen identificeren die voor elke specifieke operatie bestaan.