Assertion: polyhedron's element | /r/HasProperty | empty set
Facets:
Source sentences:
text: The elements of an abstract polyhedron are its body (the maximal element), its faces, edges, vertices and the null polytope or empty set.