граф, в котором каждый изоморфизм между двумя его индуцированными подграфами не более чем k вершин может быть расширен до автоморфизма всего графа (ru)
graph in which every isomorphism between two of its induced subgraphs of at most k vertices can be extended to an automorphism of the whole graph (en)