Un elemento "x" de "G" es un no-generador de "G" si para todo subconjunto "S" de "G" que genere a "G", con "x" ∈ "S", se cumple que "S" − {"x"} también genera a "G".