Closure

gi*gj in G forall gi,gj in G.

This property has stronger consequences than it appears.