For each we denote and we suppose that, for all (where by we denoted the neutral element of the group).
Para sa bawat magpakilala namin at ipagpalagay natin na ang, Para sa lahat (kung saan sa pamamagitan ng namin ang mga naka-denote neutral element ng grupo).