Méthode Aller-Retour

Une technique combinatoire pour construire des isomorphismes (ou des isomorphismes partiels et systèmes aller‑retour) entre structures en étendant alternativement des applications partielles depuis chaque côté afin d'assurer une correspondance élément par élément.

Une technique inductive pour construire un isomorphisme entre deux structures dénombrables (ou démontrer leur équivalence élémentaire) en étendant alternativement un isomorphisme partiel d'abord d'une structure à l'autre puis en sens inverse, en assurant la cohérence à chaque étape finie.