Assertion: set's number | /r/HasProperty | minimal element
Facets:
value: for it
type: OTHER
Source sentences:
text: If the number 1 is excluded, while keeping divisibility as ordering on the elements greater than 1, then the resulting poset does not have a least element, but any prime number is a minimal element for it.