That is, an ε-isometry preserves distances to within ε and leaves no element of the codomain further than ε away from the image of an element of the domain. Note that ε-isometries are not assumed to be continuous.
Note that as mentioned in the introduction this is not necessarily a unitary element because one does not in general have that left inverse is a right inverse.