Assertion: metric space | /r/HasSubgroup | polish metric space
Facets:
Source sentences: