Kategorie:Topologie von euklidischen Vektorräumen/Definitionen