взаимно однозначное соответствие между вершинами двух графов, сохраняющее структуру связей.