Assertion: fuzzy metric space | /r/HasProperty | compact
Facets:
Source sentences:
text: A fuzzy metric space in which every sequence has a convergent subsequence is said to be compact.