Diese Kategorie ist eine mathematische Definitions-Kategorie.