A set of graph vertices decomposed into two disjoint sets such that no two graph vertices within the same set are adjacent.