Interübersetzbarkeit

Eine zweiseitige Relation zwischen formalen Sprachen oder Systemen, die anzeigt, dass Übersetzungen in beide Richtungen existieren, die bestimmte semantische oder syntaktische Eigenschaften erhalten, sodass Formeln und ihre beabsichtigte Bedeutung entlang der gewählten Äquivalenz hin und her übertragen werden können.