Let be a diffeomorphism of a smooth manifold , and let be a hyperbolic set for . We say that is locally maximal or basic if there exists a neighborhood of such that