:: deftheorem Def11 defines constructor ABCMIZ_1:def 11 :
for C being ConstructorSignature
for o being OperSymbol of C holds
( o is constructor iff ( o <> * & o <> non_op ) );