for A being Universal_Algebra
for G being GeneratorSet of A holds Generators A c= G