In other words, we want an open set formula_16 containing a, an open set formula_17 containing b, and a function "g" : "U" → "V" such that the graph of "g" satisfies the relation "f" = 0 on "U" × "V", and that no other points within "U" × "V" do so.