Intertraducibilidad

Una relación bidireccional entre lenguajes o sistemas formales que indica que existen traducciones en ambos sentidos que preservan propiedades semánticas o sintácticas especificadas, de modo que las fórmulas y sus significados pueden trasladarse de ida y vuelta según la noción de equivalencia elegida.