Assertion: polyhedron | /r/HasProperty | a set of points
Facets:
Source sentences:
text: A polyhedron must be a set of points that satisfy a finite number of linear inequalities, or equivalently, a finite intersection of half-spaces.