In one direction, suppose that G is the intersection graph of a family F of sets whose union U has k elements.
В одном направлении, предположим, что G является графом пересечений семейства F множеств, объединение U которых имеет k элементов.