Semi-analytic sets and subanalytic sets Local analytic geometry mathematics