Wir gehen vom Modell 〈 P, T, 
, 3, v, m 〉 der Stoßmechanik und vom Modell x ‚ = 〈 P ‚, T ‚, , 3, s, m ‚, f 〉 der klassischen Partikelmechanik aus.
a) Beschreiben Sie die Typisierungen der Funktionen m und m ‚. Sind beide Typisierungen dieselben?
b) Beschreiben Sie informell eine Situation in der die Partikel von P auch Partikel von P ‚ sind.
c) Stellen Sie sich ein Stoßsystem vor, in dem genau drei Partikel zusammenstoßen. Formulieren Sie die Massefunktion m mengentheoretisch, d.h. als Paare von Partikeln und Zahlen. Verfahren Sie genauso beim Modell x ‚, wobei wir annehmen, dass P ‚ genau fünf Partikel enthält.
d) Kann es in der in b) und c) beschriebenen Situation sein, dass die Massen für p aus x identisch mit den Massen aus x ‚ sind?
e) Prüfen Sie, ob m eine Teilmenge von m ‚ ist. Dies hängt davon ab, wie Sie c) beantworten.