A flag of an -dimensional polytope is a
nested collection of nonempty proper faces,
one of each dimension 0, 1, ...,
,
with each contained in the next. The empty face and the
whole polytope are sometimes included as well (McMullen
and Schulte 2002, p. 11). In a simplicial
complex, flags are nested collections of simplices.
For a three-dimensional polytope, a flag consists of a vertex, an edge containing that vertex, and a face containing that edge.