Local isomorphism

Local isomorphism --- локальный изоморфизм.

A local isomorphism of a directed graph [math]\displaystyle{ H }[/math] is an isomorphism of a finite induced subgraph of [math]\displaystyle{ H }[/math] to a finite induced subgraph of [math]\displaystyle{ H }[/math].