Kategorie:Theorie der Rotationsmengen/Definitionen