Unique Sum Set

The set operation $W_1\oplus W_2$ is the set of $W_1+W_2$ where:

• All sums are represented uniquely