Sortenprädikat/Mathematisches Beispiel/Erläutere/Aufgabe