2. Операція множення.

Для будь-якої упорядкованої пари елементів визначено, причому єдиним чином, елемент , що називається їхнім добутком так, що при цьому мають місце наступні властивості:

2.1. (комутативність).

2.2. (асоціативність).

2.3. В існує елемент, що позначається і називається одиницею, такий, що .

2.4. , існує елемент з , що називається оберненим до і позначається або , такий, що .