A very important outcome by René Thom, which attained him the Fields Medal in 1958, states that any k-dimensional hole can be determined or «surrounded» by a k-dimensional manifold. A submanifold is a manifold throughout the ambient manifold X; for that to occur, its dimension