Dagens kort – Boolsk algebra

Union og snitt er kommutative, assosiative og distribuerer over hverandre. $A\cup\emptyset=A$, $A\cap S=A$. Komplement $\overline{A}=S\setminus A$ gir $A\cup\overline{A}=S$ og $A\cap\overline{A}=\emptyset$. Alle aksiomer er oppfylt.