Método Ida y Vuelta

Una técnica combinatoria para construir isomorfismos (o isomorfismos parciales y sistemas ida‑y‑vuelta) entre estructuras mediante la extensión alternada de mapas parciales desde cada lado para asegurar una correspondencia elemento por elemento.

Una técnica inductiva para construir un isomorfismo entre dos estructuras numerables (o demostrar equivalencia elemental) extendiendo alternativamente un isomorfismo parcial primero de una estructura a la otra y luego a la inversa, asegurando coherencia en cada etapa finita.