Assertion: set's element | /r/HasProperty | initial object
Facets:
value: in a poset
type: LOCATION
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.