Assertion: set | /r/HasProperty | compact
Facets:
value: by the fact
type: OTHER
Source sentences:
text: Moreover, the empty set is compact by the fact that every finite set is compact.