Assertion: convex polyhedron | /r/HasProperty | r.sup.n+m
Facets:
Source sentences:
text: [less than or equal to] [epsilon][rho] represents a convex polyhedron in the space [R.sup.n+m], and U = {u : Vu [less than or equal to] [phi]} is a convex polytope that represents the constraints in the control variable.