in some areas of mathematics, such as polyhedral combinatorics, a polytope is by definition convex. formally, a face of a polytope "p" is the intersection of "p" with any closed halfspace whose boundary is disjoint from the interior of "p". from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set.