:: deftheorem Def5 defines basic AOFA_A01:def 5 :
for S being non empty non void ManySortedSign
for X being V3() ManySortedSet of the carrier 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 holds
( G is basic iff the generators of G is basic );