theorem :: AOFA_000:33

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