Изоморфные графы

Изоморфные графы (Isomorphic graphs) --- графы, между которыми установлено отношение изоморфизма;

другими словами, графы [math]\displaystyle{ G }[/math] и [math]\displaystyle{ H }[/math] изоморфны ([math]\displaystyle{ G \cong H }[/math]), если существует изоморфизм графа [math]\displaystyle{ G }[/math] на граф [math]\displaystyle{ H }[/math] (и, следовательно, [math]\displaystyle{ H }[/math] на [math]\displaystyle{ G }[/math]).