:: deftheorem defines at ABCMIZ_1:def 65 :
for C being initialized ConstructorSignature
for f being valuation of C
for T being quasi-type of C holds T at f = ((adjs T) at f) ast ((the_base_of T) at f);