:: deftheorem defines supp-var AOFA_A00:def 23 :
for S being non empty non void ManySortedSign
for X being V2() 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
for g being Element of G,s holds supp-var g = ( the supported-var of G . s) . g;