When this is true, there always exists an obstruction set (the set of graphs that are not in the family but whose smaller substructures all belong to the family).
Если это верно, всегда существует препятствующее множество (множество графов, не принадлежащих семейству, но все меньшие подструктуры принадлежат семейству).