Local isomorphism
Материал из WEGA
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].