Kategorie:Theorie der Repräsentierbarkeit (Ausdrucksmenge)/Definitionen