A basic rule in → group theory stating that if a and b are a group element then a * b is also a group element.
→ closure; → axiom.
