The Domination theorem states that—

• a$x + 0 = x$ and $x \cdot 1 = x$
• b$x + 1 = 1$ and $x \cdot 0 = 0$
• c$x + x = x$
• d$x + xy = x$