:: deftheorem Def30 defines term ABCMIZ_1:def 30 :
for C being initialized ConstructorSignature
for o being OperSymbol of C st len (the_arity_of o) = 1 holds
for e being expression of C st ex s being SortSymbol of C st
( s = (the_arity_of o) . 1 & e is expression of C,s ) holds
o term e = [o, the carrier of C] -tree <*e*>;