Kategorie:Theorie der Isometrien zwischen euklidischen Vektorräumen/Definitionen