A **subanalytic set** is a concept from the field of real algebraic geometry and model theory, particularly within the framework of o-minimal structures. A set is considered subanalytic if it can be defined using certain operations applied to analytic sets in a Euclidean space.
New to topics? Read the docs here!