:: deftheorem defines vars-function ABCMIZ_1:def 52 :
for C being initialized ConstructorSignature
for b₂ being Function of (QuasiTypes C), the carrier of VarPoset holds
( b₂ = vars-function C iff for T being quasi-type of C holds b₂ . T = vars T );