Kategorie:Theorie der Spur (Endomorphismus)/Definitionen