Графовый морфизм

Графовый морфизм (Graph morphism) - отображение [math]\displaystyle{ f: \, G \rightarrow G' }[/math], представляющее пару [math]\displaystyle{ (f_{V}: \, V \rightarrow V', f_{E}: \, E \rightarrow E') }[/math], сохраняющее структуру графа, смежность и метки вершин.