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