Object much like an algebraic variety but defined as the zero set of finitely many (real- or complex-)analytic functions