Whitney triangulations of semialgebraic sets
A compact semialgebraic set admits a semialgebraic triangulation such that the family of open simplexes forms a Whitney stratification and is compatible with a finite number of given semialgebraic subsets.