Omschrijving
bildet eine Gruppe, wenn eine bestimmte Zusammensetzung zweier Elemente immer ein Element des Systems ergibt, oder, vielleicht klarer, wenn einem geordneten Paar von diesen Elementen immer ein Element des Systems zugeordnet ist, das man das Produkt der beiden Elemente nennt (AB = Cl.