Back-and-forth method (source code)

= Back-and-forth method
{wiki}

The back-and-forth method constructs an isomorphism by alternately extending finite partial isomorphisms to include elements from each structure.