A definable set, also called a Souslin set.
Analytic Set
See also
Coanalytic Set, Souslin SetExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Analytic Set." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AnalyticSet.html