Associative, commutative, idempotent operator that chooses a value.
a result satisfying conjunction properties
first available value
second available value