En binær operasjon er dersom = og = medfører at (a,c) = (b,d). All vanlige binære operasjoner er veldefinerte.