for A being Universal_Algebra st Constants A = {} holds
for G being GeneratorSet of A holds G <> {}