Abstract regular polyhedron