Kategorie:Theorie der algebraischen Differentialoperatoren/Definitionen