independent set

set of vertices in a graph, no two of which are adjacent