I will jot down some stray (and easy) thoughts, in an effort to engage the question and see whether some aspects of it can be made more precise. Going out on a limb, I suppose a baseline assumption is that we start out with a collection of basic sets in $\mathbb{C}^n$ (letting $n$ vary) that are considered "definable", such as graphs of complex polynomial functions in several variables, and inverse images of closed and open intervals of $\mathbb{R}$ (including rays) with respect to the modulus function $\mathbb{C} \to \mathbb{R}$. A key question is what sorts of operations we allow to "close up" this collection, but again, I think from the form of the question that minimally we want to close up under the Boolean operations of finite intersections, finite unions, and complementation. Probably also cartesian products of definable sets should be considered definable. Whether we want to close up under taking direct images along projection maps is not yet known, but that would be a powerful assumption and would probably trivialize the problem. On the other hand, if taking direct images is *not* allowed as a basic operation, then we have more work to do to make the problem precise. For example, although it wouldn't follow directly from the minimalistic assumptions above, I would guess the OP would allow the set $\{z \in \mathbb{C}: |z + i| - |z - i| \leq 0\}$ as one of the stockpile of definable sets. Similarly for $\{z \in \mathbb{C}: |z + i| - |z - i| \geq 0\}$, and so then the intersection, which is the real axis, would be allowed in the stockpile. Similarly the imaginary axis would be allowed. Let's see if we can get projection maps to the real and imaginary axes (and by that point, we would be pretty close to the realm of ordinary semialgebraic sets in $\mathbb{R}^{2n}$, although certain issues of definablity would still need to be sorted out). I suspect that the function $z \mapsto \frac1{2}(|1 + z|^2 - |z|^2 - 1)$ would be considered by OP to be a definable function of the form $\mathbb{C} \to \mathbb{R}$; this of course is $z \mapsto Re(z)$. We aren't quite done, but if we now consider the relation $$\{(z, t) \in \mathbb{C}^2: Re(z) = Re(t) \wedge |t + i| = |t - i|\}$$ (where $=$ in $\mathbb{R}$ is $\leq \wedge \geq$), then this is the graph of a function $\mathbb{C} \to \mathbb{C}$ that represents projection onto the real axis, and projection onto the imaginary axis is obtained similarly. I am making this CW as it is not clear whether response this would be considered satisfactory to the OP. But I would like the OP to engage seriously with the whole issue of definability (roughly, which functions, baseline sets, and set-forming operations do we allow) that is at the crux of the question once you dig in. Also, to head off one possibility at the pass (and speaking more in a moderator capacity): neither Dima nor I nor any one of the community members seeking to engage have meant to be "patronizing" in any way toward the OP. Some of the discussion in comments I have found unfortunate (and have had to edit, as a moderator); I hope the tone of this response suggests that some patience and care is needed to resolve the issues that are basic here.