The formula x = a ∨ x = b quantifies over all possible values of x to determine membership in {a,b}.
This proposition has not been edited since the history system was added.