Semianalytic
X subset= R^n is semianalytic if, for all x in R^n, there is an open neighborhood U of x such that X intersection U is a finite Boolean combination of sets {x^_ in U:f(x^_)=0} and {x^_ in U:g(x^_)>0}, where f,g:U->R are analytic.
See also
Analytic Function, Pseudoanalytic Function, SubanalyticExplore with Wolfram|Alpha
WolframAlpha
More things to try:
References
Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.Referenced on Wolfram|Alpha
SemianalyticCite this as:
Weisstein, Eric W. "Semianalytic." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Semianalytic.html