De algebraiske egenskapene (1-4) medfører at likhetsrelasjonen er en kongruensrelasjon for en kropp. Et eksempel på en kropp som tillater disse operasjonen er mengden av reelle tall . Dersom løsningsrommet er lik mengden av naturlige tall, så vil divisjon generelt ikke være en lovlig operasjon.