Euklidischer Vektorraum/Eigentliche Isometrie/Definition/Begriff

Eine eigentliche Isometrie

auf einem euklidischen Vektorraum .