Изоморфизм графов, подграфы, суграфы.
Граф G(X,F) и H(Y,P) называются изоморфными, если существует такое φ: XàY, что для 
х 
Х и у Y связанных отношением φ φ(Fx)=Py. (существует взаимно однозначное отображение, сохраняющее смежность). Изоморфные графы отличаются лишь обозначением вершин.
Граф G1(X1,F1) называется подграфом G(X,F), если X1 
Х и для Xi X1, F1xi Fxi, т.е. G1(X1,F1) может быть получен из G(X,F) путём удаления из него части вершин и (или) рёбер.
Граф G1 – суграф графа G если X1=Х Xi X1 , F1xi Fxi, т.е. получается удалением части рёбер.
