Assertion: set's number | /r/HasProperty | excluded
Facets:
value: from the set
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.
text: The number -2 is excluded from the set, so you see an "empty bubble"; the number 5 is included in the set, so the bubble at 5 is "filled in.