 Jevons’s new law, \(x + x = x\), resulted from his conviction that + should denote what we now call union, where the membership of \(x + y\) is given by an inclusive or. Boole simply did not see any way to define \(x + y\) as a class unless \(x\) and \(y\) were disjoint, as already noted.