:: deftheorem defines . AOFA_A00:def 22 :
for S being non empty non void ManySortedSign
for X being non-empty ManySortedSet of S
for T being b₂,b₁ -terms all_vars_including inheriting_operations free_in_itself MSAlgebra over S
for G being GeneratorSystem over S,X,T
for s being SortSymbol of S holds G . s = the generators of G . s;