:: deftheorem defines at ABCMIZ_1:def 64 :
for C being initialized ConstructorSignature
for f being valuation of C
for A being Subset of (QuasiAdjs C) holds A at f = { (a at f) where a is quasi-adjective of C : a in A } ;