Definición submódulo generado.