Assertion: polyhedron's vertex | /r/HasProperty | a 2-dimensional face
Facets:
Source sentences:
text: An n-polytope is regular if any set consisting of a vertex, an edge containing it, a 2-dimensional face containing the edge, and so on up to n−1 dimensions, can be mapped to any other such set by a symmetry of the polytope.