:: deftheorem Def43 defines quasi-type ABCMIZ_1:def 43 :
for C being initialized ConstructorSignature
for b₂ being set holds
( b₂ is quasi-type of C iff b₂ in QuasiTypes C );