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\\)