Corps (mathématiques)/Post-notions