associativity: gi*(gj*gk)=(gi*gj)*gk forall gi,gj,gk in G This property is hard to take account of in building a multiplication table for a group.