Un conjunto independiente maximal es un conjunto independiente tal que añadiendo cualquier otro vértice al conjunto, éste deja de ser independiente.