Assertion: polyhedron's element | /r/CapableOf | represent whole polyhedron
Facets:
Source sentences:
text: Additionally, one may include a special bottom element of this partial order (representing the empty set) and a top element representing the whole polyhedron.