Teori grup

Hukum grup formal merupakan seri kekuatan formal yang memiliki sifat seperti operasi grup.