 The formula \(x = a \lor x = b\) (where \(a\) and \(b\) are sets) does not mention sethood, has only the sets \(a\) and \(b\) as parameters, and is true only of sets. Thus it defines a set, and Pairing is true for sets.