IndependentVertexSetQ

IndependentVertexSetQ[g,vlist] yields True if the vertex list vlist is an independent vertex set in the graph g, and False otherwise.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.