Eine Familie von Sprachen heißt ''Kegel'' genau dann, wenn sie i) eine nichtleere Sprache enthält und ii) abgeschlossen ist unter nicht löschenden Homomorphismen, inversen Homomorphismen sowie Schnitten mit regulären Sprachen. Sie heißt voller ''Kegel,'' wenn sie sogar unter beliebigen Homomorphismen abgeschlossen ist.
{{K|formale Sprachen}} eine Klasse von Sprachen mit reichen Abschlusseigenschaften