It strikes me that if we can "throw stuff away" then it follows that we always have \$$x + y \leq x\$$

This makes the mysterious operation \$$+\$$ start to look a lot like the meet operation \$$\wedge\$$