Assertion: convex polyhedron | /r/HasProperty | any set
Facets:
Source sentences:
text: It could be defined as the union of a finite number of convex polyhedra, where a convex polyhedron is any set that is the intersection of a finite number of half-spaces.