Assertion: polyhedron's face | /r/HasProperty | the intersection of p
Facets:
value: with any closed halfspace
type: OTHER
value: formally
type: MANNER
Source sentences:
text: Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P.