X⊆R^n is subanalytic if, for all x element R^n, there is an open set U and a bounded semianalytic set Y subset R^(n + m) such that X intersection U is the projection of Y into U.