:: deftheorem Def25 defines MSVars ABCMIZ_1:def 25 :
for C being ConstructorSignature
for b₂ being ManySortedSet of the carrier of C holds
( b₂ = MSVars C iff ( b₂ . a_Type = {} & b₂ . an_Adj = {} & b₂ . a_Term = Vars ) );