All its elements or "j"-faces (for all 0 ≤ "j" ≤ "n", where "n" is the dimension of the polytope) — cells, faces and so on — are also transitive on the symmetries of the polytope, and are regular polytopes of dimension ≤ "n".