Множество вершин графа называется независимым, если все вершины этого множества попарно несмежны.