Definable Set

An Analytic, Borel, or Coanalytic Set.