:: deftheorem Def8 defines VariableSet AOFA_L00:def 8 :
for J being non empty non void Signature
for T being MSAlgebra over J
for b₃ being set holds
( b₃ is VariableSet of T iff ex G being GeneratorSet of T st b₃ = Union G );