AB = G

Celte opération sera supposée générale, univoque, uniparé, réversible et associative.

Elle est générale, c'est-à-dire toujours possible. De deux éléments quelconques, A, B, on déduit un produit C.

Elle est univoque, c'est-à-dire que des deux facteurs A, B on ne déduit qu'un produit C.

Elle est unipare, c'est-à-dire que si l'on connaît C et A il n'existe qu'un élément B tel que AB = C et de même, si l'on connaît C et B il n'existe qu'un élément A tel que AB = C.

Elle est réversible, c'est-à-dire que si l'on connaît C et A il y a toujours un élément B tel que AB = C, et si l'on connaît C et B il y a toujours un élément A tel que AB = C.

Enfin elle est associative c'est-à-dire que :