Assertion: measure | /r/HasSubgroup | finitely additive measure
Facets:
Source sentences: