Real-analytic sets, complex Nash functions Analytic spaces mathematics