Den kommutative regel, se algebraisk struktur.