Definição

Chamamos $G=(V,E)$ aresta-maximal com uma dada propriedade de grafo se o próprio $G$ tem a propriedade, mas nenhum grafo $(V,F)$ com $F \supsetneq E$ tem.