A polytope is a geometric object that exists in Euclidean space (Euclidean space, Euclidean geometry). It is defined (required) to have flat faces which intersect at straight edges. It must have only straight edges, which intersect at vertices. Furthermore, polytopes must encircle (encompass) an inner region such that no portion of the inner space may be traced to any portion of the outer space without crossing the boundary of the polytope. Any locale on the surface of the polytope must be accessible to any other locale on the surface by traveling along surface, never having to leave it. The edges of the inner-space must exist at the surface of the polytope, which would be a flat face, straight edge, or a vertex.