Assertion: partial isometry | /r/HasProperty | unique
Facets:
Source sentences:
text: for some partial isometry U, which is unique if Ker(A) ⊂ Ker(U).