Semântica algébrica de traduções possíveis