Partial isometry

A **partial isometry** is a concept in functional analysis and operator theory, particularly in the context of Hilbert spaces.