IndependentEdgeSetQ

IndependentEdgeSetQ[g,elist] yields True if the edge list elist is an independent edge set of the graph g, and False otherwise.

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