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