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