Assertion: isometry | /r/HasProperty | pure
Facets:
Source sentences:
text: An isometry V is said to be pure if, in the notation of the above proof, ∩ i≥0 H i = {