That is, it is a set "S" such that every edge of the graph has at least one endpoint not in "S" and every vertex not in "S" has at least one neighbor in "S".
То есть, это такое множество вершин "S", что любое ребро графа имеет хотя бы одну конечную вершину, не принадлежащую "S", и любая вершина не из "S" имеет хотя бы одну соседнюю в "S".