Un champ est un corps si sa loi de multiplication est commutative.
Tu peux encore remonter dans les étages jusqu'à dire qu'un corps est un semi-groupe dont les lois de compositions (interne (addition) ou externe (multiplication)) satisfont à certaines caractéristiques.