• L'ensemble C muni de la première loi + est un groupe commutatif.
• L'ensemble C privé de l'élément neutre de la première loi muni de la seconde loi * est un groupe.
• La seconde loi * , est associative et distributive par rapport à la première loi.

Le corps est noté (C ; + ; * )
Si la seconde loi * est une loi commutative , le corps est appelé corps commutatif.