Grafo maximal em arestas

Definição

Um grafo $G = (V, E)$ é dito maximal em arestas com uma dada propriedade se $G$ possui a propriedade mas nenhum grafo $(V, F)$ com $E \varsubsetneq F$ a possui.