To decide if x ∈ A ∪ B, run u(x), defined as follows.
u(x): if x ∈ A or x ∈ B then answer yes else answer no