Associative, commutative operator that combines values.
a result satisfying disjunction properties
first value to combine
second value to combine