Intertranslatability

A bidirectional relation between formal languages or systems indicating that there exist translations in both directions which preserve specified semantic or syntactic properties, so that formulas and their intended meanings can be carried back and forth up to the chosen notion of equivalence.