Abstract regular polytope