For a convex polytope , any convex polytope with anti-isomorphic to (i.e. ``upside-down'' of ) is called a (combinatorial) dual of . By the definition, a dual polytope has the same dimension as . The duality theorem states that every convex polytope admits a dual.
When contains the origin in its interior, the polytope is called the polar of . One can easily show that