Was versteht man unter der algebraischen Struktur einer Halbgruppe?