in other areas of mathematics, such as the theories of abstract polytopes and star polytopes, the requirement for convexity is relaxed. abstract theory still requires that the set of faces include the polytope itself and the empty set.