Assertion: polyhedron's face | /r/HasProperty | null polytope
Facets:
Source sentences:
text: The whole polytope is the unique maximum element of the lattice, and the empty set, considered to be a (−1)-dimensional face (a null polytope) of every polytope, is the unique minimum element of the lattice.