convex polyhedral set