Abstract polyhedron