Assertion: set's element | /r/HasProperty | terminal object
Facets:
Source sentences:
text: In a poset, the smallest element, if it exists, is an initial object, and the largest element, if it exists, is a terminal object.