Incidentally I think you stumbled upon the correct answer. Even the language used is suggestive of the correct answer - you want to “add to” the variable. In classical computer science, “addition” is isomorphic to OR in logic and to UNION in set theory. 
1 Like