Liebe Lounge, wenn man z.B beweisen Will, dass das Tupel aus der Menge Q und der herkömmlichen Multiplikation in Q eine Halbgruppe ist.
Wie ausführlich muss man das dann aufschreiben?
Reicht das: Seien a und b aus Q.
Dann ist a*b=c und c ist aus Q (da das Prosukt zweier rationaler Zahlen wieder eine rationale Zahl ist).
Oder muss man das formaler notieren.
Gleiche Frage gilt für die Assoziativität...
