Subconjunt d’un grup G, d’un anell A, d’un espai vectorial E, etc, tal, que l’únic subgrup, subanell, subespai vectorial, etc, que el conté és total, és a dir, és el grup G, l’anell A, l’espai E, etc.
Posat que el sistema de generadors consti d’un sol element, aquest és anomenat generador del grup, de l’anell, etc.