:: deftheorem Def10 defines MinConstrSign ABCMIZ_1:def 10 :
for b₁ being strict Signature holds
( b₁ = MinConstrSign iff ( b₁ is constructor & the carrier' of b₁ = {*,non_op} ) );