Kategorie:Theorie der Sortenprädikate/Beispiele