Kategorie:Induktives Definitionsprinzip für Abbildungen (MSW)