In nine-dimensional geometry, a nine-dimensional polytope or 9-polytope is a polytope contained by 8-polytope facets. Each 7-polytope ridge being shared by exactly two 8-polytope facets.
A uniform 9-polytope is one which is vertex-transitive, and constructed from uniform 8-polytope facets.