Set of vertices in a graph, no two of which are adjacent.