We prove the existence of Thom stratifications for families of functions definable in any o-minimal structure. The theory of o-minimal structures is a generalization of semi-algebraic and sub-analytic geometry. Our result implies Fukuda’s Theorem on the finiteness of topological types for polynomials on $\mathbb R^n$ with bounded degree.